This paper examines the properties of the optimal nonlinear income tax when preferences are quasi-linear in leisure and individuals differ in their ability and their preferences for leisure. The government seeks to redistribute income. It can perfectly observe the level of endogenous income but...