Less workers at the IRS means....less work getting done