 That's right, especially on the mandatory side. And now that has doubled to about $2 trillion, give or take, in the present. That's right. So it gets bleaker as you make projections into the future. And revenue has been stubbornly consistent regardless of tax rate. Is that correct?