 So the next step is, okay, if he's not going to go willingly, do they go the route of invoking the 25th? I don't think so because that's too cumbersome, and there's literally not enough dates on the calendar, Todd, to move that along. I don't see that happening. I see him having a medical incident first before any 25th Amendment because, like you just said, you have the RNC on Monday.