More progressive income taxes raise employment in models of imperfectly competitive labour markets. However, this prediction is not robust to modifications of the analytical structure. For example, in an efficiency wage setting, more progressive taxes reduce profits. This induces firms to exit...