This paper quantifies the efficiency, inequality and welfare consequences of alternative social security systems. In the context of an overlapping generations model, with ex-ante heterogeneity in productivity, we consider ...