 He did not mention it. He mentioned Joe Biden's name maybe once. I think Crazy Nancy happens. But we are in a situation where we've never had this before. Shannon, we're leaving the Republican convention in July, and we have no idea who the Republican nominee will be facing. Democrat. Oh, oh. The Republican nominee. The Republican nominee will be facing. Where is this heading?