 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. The funny thing is, nobody's running. Right.