In an analysis of a two-type income tax model with endogenous wages, this paper shows that production efficiency is violated in the optimum with (i) non-linear and (ii) linear income taxation if and only if a distortionary tax schedule is implemented. These findings complement earlier results of...