 Apparently so. Oh, that's the judge. That's big news. That's huge. That's the latest news. So anyway, the campaign, the RNC starts, will be gaveled in, I guess, at 12 noon today. And that's the latest. Yeah, is that when that starts? At noon? 12 noon they will gavel it in. It's in Milwaukee, 12 noon central. He speaks on Thursday, I believe, right? Yeah, but they said he may...