While no one enjoys paying taxes, even oil companies need their subsidies funded and the IRS has
been getting 'defunded' for years now...mostly at the behest of the GOP that gets very annoyed when their "tax exempt" dark money pipelines get investigated and interrupted.
Link: https://www.propublica.org/article/how-the-irs-was-gutted