 While living in the reality of he's not going to be, RFK Jr. is not going to be president. Joe Biden would beat RFK Jr. by a lot right now. So what's the point? So we'll see. I think that would make a lot of sense. And that could add to the political intrigue of the moment if we get some confirmed reports that RFK Jr. Because as lovely as Milwaukee is this time of year, it would be quite a coincidence for the independent candidate who just happened to be here.