[This item is a preserved copy. To view the original, visit http://econtheory.org/] We consider Bayesian incentive-compatible mechanisms with independent types and either private values or interdependent values that satisfy a form of "congruence." We show that in these settings, interim...