Refresh my memory. Do we just have the word of trump (double heh) that he’s being audited? Did he ever show a letter from the IRS?