He probably works for the IRS anyway.