This paper analyses the default option typical to American mortgages. Households borrow to buy durable housing, but future house prices are uncertain, and households find it dvantageous to default on their debt if house prices fall sufficiently. A key assumption of the model is that households...