 And the $1 billion that they've gotten so far, sure, congratulations to the IRS for collecting that extra money that was owed from people who hadn't paid it. But all they've actually done is fund the government for an additional 90 minutes. They've put off the deficit reckoning for an additional hour and a half. I'm not sure that that is worth what we've spent to increase the IRS's ability to go after you, me, and everyone else.