Income tax brackets were not indexed until 1985. When inflation pushed up people’s nominal incomes during the 1970s, what do you think happened to real tax revenue? (Hint: This phenomenon was known as "bracket creep.")