 there's going to be conversations, guys, about whether he's up to continue on the ticket. I don't think they're going to go anywhere. But that's going to be in all the coverage tomorrow. So that's kind of where I wanted to take this, Josh. I mean, we are in the end of June, almost July. There is still a long time between now and November, right? There is scheduled to be.