 No, I don't think it matters at all. Look, they're going to have a process where the delegates cast the vote. After all, remember, Biden, although he had delegates lined up and he'd won all these primaries, he hadn't yet been formally nominated.