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 the latter case as an example, we derive two main results. If the income tax … is less progressive than optimal, necessities should bear a lower tax rate than luxuries. If low-income households are …