Pension benefit rules depend on individual history far more than taxes do, and age plays a much larger role in pension determination than in tax determination. Apart from some simulation studies, theoretical studies of optimal tax design typically contain neither a mandatory pension system nor...