 All right, maybe I'm a little forward-looking here. We've got a long way to go to get there. But should the Democrats make this power play, which has to be done anyway. Do you really think the Democrats are going to sacrifice the Ohio ballot? I don't believe so. They're not just going to give up Ohio for Trump. So if they do make this power play to protect Joe Biden and nominate him before July, their problems only get worse.