 And unless Joe Biden decides to release his delegates by saying, I'm not going to run for the presidency, I'm just continuing my campaign, the delegates are free to go somewhere else. It's his nomination. And so that is an important point at this point. Even though there seems to be public opinion and some groundswell against him, it's his nomination.