We propose a method to decompose changes in the tax structure into a component measuring the level of taxes and a component orthogonal to the level that measures progressivity. While our focus is on the progessivity results, we find that the level shock is similar to standard tax shocks found in...