House allocation with existing tenants: an equivalence · Study