We study nonlinear income taxation in a Roy model in which agents' productivity is sector-specific. We show that when income taxes can be sector-specific, the Diamond-Mirrlees theorem (according to which the second-best displays production efficiency) fails: social welfare (be it Rawlsian or...