Housing Markets, Satisficers, and One-Track Goodhart — LessWrong