How much of the recent rise in foreclosures can be explained by the large number of high-leverage mortgage contracts originated during the housing boom? We present a model where heterogeneous households select from a set of mortgage contracts and choose whether to default on their payments given...