We study optimal tax policies in a life-cycle economy with risky human capital and permanent ability differences. The optimal policies balance redistribution across agents, insurance against human capital shocks, and incentives to learn and work. In the optimum, i) if utility is separable in...