We consider house allocation problems (Shapley and Scarf, 1974) with strict preferences. We introduce a new axiom called pre-exchange-proofness, which states that no pair of agents gain by exchanging their endowments with each other prior to the operation of the chosen rule. We establish that a...