This paper studies optimal non-linear income taxation in an empirically plausible model with labor supply responses at the intensive (hours, effort) and the extensive (participation) margin. In this model, redistributive taxation gives rise to a previously neglected trade-off between two aspects...