 Well, the sort of Republican dream about this is that lowering taxes will cause a surge of economic growth, grow the economy, and that will lead to tax revenues to pour in as companies are hiring and workers are getting bigger paychecks, and then they'll be paying more money to the federal government that way. In reality, his remark about 2018, I think in nominal terms, there may have been an increase in revenues that year, but it kind of belied the reality of what happened, which was you adjust for inflation and for growth,