redistribution. Within a Mirrleesian economy with earnings, consumption and retirement savings, we derive a novel formula for optimal … income and savings distortions based on redistributional arbitrage. We establish a sufficient statistics representation of … suggest that it is optimal to shift a substantial fraction of the top earners' tax burden from income to savings. …