We study the joint design of nonlinear income and education taxes when the government pursues redistributive objectives. A key feature of our setup is that the ability type of an agent can affect both the costs and benefits of acquiring education. Market remuneration of agents depends on both...