 The facts of the matter are that you would love the Democrats to be stuck with Joe Biden. Well, I think the reality, the politics of it are that they're stuck with Joe Biden. But also, really, no one can change this except for Joe Biden. It is up to him. The way these convention rules and delegates work, those folks in those primaries are committed to him. And so unless he changes, which I see no indication that he's willing to do so,