The authors present three major findings: that the menu of mortgage contracts offered by lenders influences the default rate, that the default-rate-minimizing mortgage menu depends on house price externalities, and that the equilibrium menu and the default-rate-minimizing menu mostly coincide.