We consider taxation by a Leviathan government and by a utilitarian government in the presence of heterogeneous locations within a country, when migration from one country to another is and is not possible. In a closed economy, a utilitarian government may transfer income from the poor to the...

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...