Revenue, Progressivity and the Flat Tax