This paper studies economies with complete markets where there is positive default on consumer debt. In a simple tractable two-period model, households can default partially, at a finite punishment cost, and competitive intermediaries price loans of different sizes separately. This environment...