Go back and read it again, REAL slow this time.
Annual cost of 93,000 IRS employees = $6 billion.
Ok, smarty, what's the small print?