This paper studies optimal linear and nonlinear redistributive income taxation when there is adverse selection in the labor market. Unlike in standard taxation models, firms do not know workers' abilities and competitively screen them through nonlinear compensation contracts. The equilibrium...