I propose a life-cycle model where a finitely lived risk averse agent finances her housing investment choosing to provide a down payment. After signing the mortgage contract, the agent may strategically default and move into the rental market. Risk neutral lenders efficiently price mortgages...