I construct an infinite-horizon dynamic stochastic general equilibrium model with a collateral constraint and actual default in equilibrium. Entrepreneurs borrow from households through non-recourse debt contracts backed by capital goods. By taking into account the non-linear payoffs of the...