We analyze optimal taxation of labor and capital income in a life-cycle framework with idiosyncratic income risk. We provide a novel decomposition of labor income tax formulas into a redistribution and an insurance component. The latter is independent of the social welfare function and...