The present paper thoroughly explores second-best efficient allocations in an adverse selection insurance economy. We start from a natural extension of the classical model, assuming less than perfect risk perceptions. We propose first and second welfare theorems, by means of which we describe efficiencyenhancing policies. Notions of weak and strong adverse selection are promising for interpreti...