 to elect someone to run against Trump in his place. So those are the real scenarios that are at play here. So the next question is obviously this. What happens next? Well, right now, the process largely depends on Joe Biden. So what I would say is it doesn't really matter what any of the Democrats say. It's going to be up to Joe Biden.