Text this: Progressivity and the federal tax code :