Advances in information technology have improved the administrative feasibility of redistribution based on lifetime earnings recorded at the time of retirement. We study optimal lifetime income taxation and social insurance in an economy in which redistributive taxation and social insurance...