The Atkinson-Stiglitz Theorem shows that with weakly separable preferences, differential commod- ity taxes are not needed if an optimal nonlinear income tax is imposed. Redistributive objectives can be achieved with the income tax alone even if goods differ considerably in their income...