Mechanism design studies incentives by making intense use of incentive compatibility and direct mechanisms, concepts familiar from Economics 602. One has a social choice function or correspondence in mind, which encompasses the desirable behavior of the economy (for each economy we consider, it yields the desirable allocations; we evaluate outcomes only, not the process of reaching them). One t...