An important result due to Atkinson and Stiglitz (1976) is that differential commodity taxation is not optimal in the presence of an optimal nonlinear income tax (given weak separability of utility between labor and all consumption goods). This article demonstrates that their conclusion holds...