We study house allocation problems introduced by Shapley and Scarf (1974). We prove that a mechanism (a social choice function) is individually rational, anonymous, strategy-proof, and non-bossy (but not necessarily Pareto efficient) if and only if it is either the core mechanism or the no-trade mechanism, where the no-trade mechanism is the one that selects the initial allocation for each prof...