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 participation constraints are satisfied when the status quo is the randomized allocation...

The economic analysis of property has made progress in areas of property closest to contracts and torts, where the assumption that legal rules can be studied in isolation has some plausibility. Property law is a system, and economic analysis can be used to capture the role of traditional notions...