How far is the US social insurance system from an efficient system? We answer this question within a model where agents receive idiosyncratic, labor-productivity shocks that are privately observed. When social security and income taxation comprise the social insurance system, the maximum...