And yet as mentioned earlier in this comment thread, the IRS has already managed to automate this on their side, as they can do an “electronic audit”.