This paper quantitatively accounts for the cyclical dynamics of key macroeconomic housing and mortgage market variables using a tractable, searchtheoretic model of housing with equilibrium mortgage default. To explain these dynamics, the model highlights the importance of liquidity spirals that...