I develop an equilibrium model of housing and default to jointly analyze the effects of bankruptcy and foreclosure policies. Heterogeneous households have access to mortgages and unsecured credit and can default separately on both types of debt. I show that the interaction between foreclosure...