What the IRS is up to