The benchmark optimal income taxation model of Mirrlees (1971) finds that the optimal marginal income tax rate (MIT) is always non-negative. A key model assumption is the coincidence between social and individual work preferences. This paper extends the model to allow for differences in social...