In this paper we describe how to optimally design a disability insurance system. The key friction in the model is imperfectly observable disability. We solve a dynamic mechanism design problem and provide a theoretical and numerical characterization of the social optimum. We then propose a...