 How did they do this? They voted. No, no, it was Hillary, I think. I forget now exactly. But they were Republicans, but they re-registered as Democrats so they could vote as Democrats to do some, you know, to throw the system off. No, they have the right to do that. It's not illegal to change your party affiliation. But it doesn't really mean anything one way or the other. So if he had been a registered Democrat, I mean, he's only 20 years old anyway.