 So in other words, David, at the convention, you could have an open convention, but you wouldn't have Ohio in there. I think that's part of it, and I think it might penalize the electoral votes. But anyway, it's not easy to get rid of it. You've got Republicans who want to—I saw Speaker Mike Johnson says, well, we've got to invoke the 25th Amendment.