Ehlers and Klaus (2003) study so-called house allocation problems and claim to characterize all rules satisfying efficiency, independence of irrelevant objects, and resource-monotonicity on two preference domains (Ehlers and Klaus, 2003, Theorem 1). They explicitly prove Theorem 1 for preference...