What happen if he gets a bill to get rid of 87,000 IRS agents