 So they've got some wiggle room, and I think that's why they delayed the online voting that they were going to do from August 1st for about a week to give them some time. So it's very inside baseball to get this done. So they might do it that way. But I also was curious, what happens if he actually gets the nomination?