Atkinson and Stiglitz show that with weakly separability, differential commodity taxes are unnecessary given an optimal nonlinear income tax. Deaton showed that with an optimal linear progressive income tax, commodity taxes are superfluous under weakly separable and linear Engel curves. Using...

We characterize the Pareto-frontier in a simple Mirrleesian model of income taxation. We show how the second-best frontier which incorporates incentive constraints due to private information on productive abilities relates to the first-best frontier which takes only resource constraints into...