Transactions and Mechanism Design ∗