We argue that when externalities such as pollution are nonexcludable, agents must be compelled to participate in a “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...