In this paper we study the quantitative properties of a policy reform aimed at funding the pension system in the standard model economy with perfect substitution across workers with different experience levels and a model economy where this substitutability is imperfect. With compulsory...