Local envy-freeness in house allocation problems · Study