https://www.taxconnections.com/taxblog/why-is-it-that-the-irs-seems-to-always-receive-budget-cuts-when-they-produce-the-most-revenue/