>I have an even simpler step one: increase the IRS budget significantly so that they actually have enough resources to go after the big guys.

>It's on a downward spiral consistently, and it was further cut by 9% this year.

Has it been on a downward spiral?

The Inflation Reduction Act of 2022[0] added $80 billion over ten years to the IRS budget[1] (a good step in the right direction, IMHO), but which has now been withdrawn. Gee, I wonder why?

[0] https://en.wikipedia.org/wiki/Inflation_Reduction_Act

[1] https://www.irs.gov/statistics/irs-budget-and-workforce

Edit: Added index [0] for link.