This paper extends the model of optimal income taxation due to Mirrlees (1971) and includes private information on public goods preferences. A mechanism design approach is used to establish the following result: If policies are required to be robustly implementable in the sense of Bergemann and...