We study the relationship between two-agent implementation problems and the notionof interim efficiency due to Holmström and Myerson (1983) in Bayesian environmentswith private values and independent types. We present a general property, Bayesianefficiency, and show that it is sufficient for...

Behavioral implementation studies implementation when agents' choices need not be rational. All existing papers of this literature, however, fail to handle a large class of choice behaviors because they rely on a well-known condition called Unanimity. This condition says, roughly speaking, that...