 No indication, though, he's changed his mind. Okay. I know, obviously, this is hypothetical that we're talking about it, but this is uncharted territory for most Americans on how something like this would happen. Do we know what the process would be like if he does decide to drop out?