What if IRS did more than tax collections?