[LastBestPlace] IRS humor