“mechanism” to ensure a Pareto-efficient outcome. We survey some of the main findings of the mechanism-design (implementation …-theory) literature – such as the Nash implementation theorem, the Gibbard–Satterthwaite theorem, the Vickrey–Clarke–Groves mechanism, and …