An equilibrium contract for low-risk types must not be more attractive to high-risk types than aH; it must lie on the southeast side of UH, the high-risk indifference curve through aH. We leave it to the reader to demonstrate that of all such contracts, the one that low-risk types most prefer is aoL, the contract at the intersection of EL and UH in Figure III.