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...