 There's also the ballot printing thing where they have to have a minimum date of where their ballots need to be printed with the name on it. They can't just redo that legally. So that's something that no one's really taking into account. I forget. I saw another thing talking about the Charlie Kirk tweet. I haven't looked it up myself, but it showed the tweet on the screen. So I would just look into that. But remember, that's our biggest thing that no one's mentioning. It's laws that are already on the books. I mean, he's already losing Ohio, right, because he's not on the ballot there.