We propose a canonical model of optimal nonlinear redistributive taxation with matching unemployment. In our model, agents are endowed with different skill levels and labor markets are perfectly segmented by skill. The government only observes negotiated wages. More progressive taxation leads to...