I don't know how you figure that. Wasn't that decided in the Democratic primaries, which if memory serves are separate from the Republican ones?