We analyze the positive and normative effects of a progressive tax on wages in a nonlinear New Keynesian DSGE model in the presence of demand and technology shocks. The non-linearity allows us to disentangle the effects of the progressive tax on the volatility and the level of macroeconomic variables, for both intertemporally optimizing (“Ricardian") and non-Ricardian (“rule-of-thumb") households. ...