Governments redistribute by means of taxes, transfers, and public services. Relying on three sufficient statistics, we characterize the conditions under which nonlinear income taxation is optimally combined with input public provision in two-class and multi-class economies, where individual...