 So what would be the moment where he needs to decide? Is it just ahead of the convention? So there is some sort of, not necessarily a brokered convention, but there is some sort of switch that happens ahead of that? I think there's, and somebody should double check me on this, I've read about it, I think there's a little more pressure than that because Ohio has a law now that says it's got to be some period before the election. So I think that there's a time in, I think, late this month, July, that they've got to have that virtual convention where they get the nomination, right?