This paper presents a unified analytical framework for the analysis of social security reform. It discusses reform along two dimensions: Pay-As-You-Go versus fully funded on the one hand, and actuarial versus non-actuarial on the other. Making the system more actuarial entails a trade-off...