Good point.
Does anyone have figures on total Federal revenues from, oh, say 2000 - present, year by year, adjusted for inflation?
2018 may have to be an estimate.