We analyze a model of mortgage markets, housing tenure choice, heterogeneous agents, and default with closed form solutions. We uncover new insights which may inspire empirical work, and we ground already-established insights in a series of tractable expressions. Then we study optimal LTV...