We study optimal labor income taxation in non-competitive labor markets. Firms offer screening contracts to workers who have private information about their productivity. A planner endowed with a Paretian social welfare ...