 Well, that's partially true. He did have Dean Phillips run against him. Poor old Dean Phillips got next to nothing. And RFK Jr. was in there for a while, and he got trounced. So there were some primaries where there were some other names you could check off the box. But that debate at CNN a week and a half ago was just a doozy.