We make two main contributions to the theory of optimal income taxation. First, assuming conditions sufficient for existence of a Pareto optimal income tax and public goods mechanism, we show that if, in addition, agents' preferences satisfy an extended notion of single crossing called capacity...