Instead of doubling the number of IRS agents