 Yeah, well, they also have superdelegates, and I guess they would have to figure out a way. He still doesn't have the official nomination. So I guess, you know, lawsuits would follow. I don't know the process of getting the ballot changed when they say, hey, we're the Democrat Party, but change the person. The funny thing is, nobody's running. Right. Who are these people? Where would they come from? This is the strangest year ever.