Most analyses of optimal income taxation make restrictive technical assumptions on preferences (such as single-crossing) and only derive properties of welfare-maximizing tax schedules. Here, for an economy with any finite numbers of groups and commodities, Pareto efficient tax structures are...