They did cut $20 billion from the $80 billion IRS budget, but it did NOT defund the new IRS Army!
Yeah, the democratic Senate shut it down. But I was only showing what the House did.