Hart (2009). The axioms are based on the concept of "wealth requirement." …

provide a novel decomposition of labor income tax formulas into a redistribution and an insurance component. The latter is … capital tax is non-zero and trades off redistribution and insurance against savings distortions. Our quantitative results … reveal that the insurance component contributes significantly to optimal labor tax rates and provides an informative lower …