mandatory pensions. Conversely, optimizing models of pension design typically do not include annual taxation of labor and … Atkinson-Stiglitz and Chamley-Judd results, this article raises the issue of tax-favored retirement savings, a topic where the …