 So he's running as an independent now. But it would have been at least some kind of a choice. Who was the other guy, the congressman that ran against Joe Biden? Did he win one small little primary somewhere? I can't remember his name now. So they had somewhat of a choice. They had something there. They all choose. They're riding with Biden. And now at the last minute, the party of democracy...