Before revision:  We prove two useful theorems, relying on an invariance property of the allocations found by strategy-proof mechanisms when agents vary the ranking of outside options in their preferences .
After revision:  We prove two useful theorems, relying on an invariance property of the allocations found by strategy-proof mechanisms . They provide a unified foundation for several existing results in distinct models and imply new results in some models .