determination than in tax determination. Apart from some simulation studies, theoretical studies of optimal tax design typically … Atkinson-Stiglitz and Chamley-Judd results, this article raises the issue of tax-favored retirement savings, a topic where the …