 You know, revenues were not larger than they were before the Tax Cuts and Jobs Act of 2017. And also they were lower than had been expected by the Congressional Budget Office, you know, the previous year in their forecasts. So I think pretty much by all estimations, you know, the Trump tax cuts in 2017 did not end up paying for themselves. The director of the Congressional Budget Office, who's a Republican, actually said so this month at a congressional hearing.