Which is a good reason we don't have average IRS bureaucrats behind the resolute desk, right?