We construct a fully specified extensive form game that captures competitive markets with adverse selection. In particular, it allows firms to offer any finite set of contracts, so that cross-subsidization is not ruled out. Moreover, firms can withdraw from the market after initial contract...