 Within the Democrat Party, they haven't exercised that. But I guess to the president's point, there was still a primary, and people could have voted, I guess, for Dean Phillips or written in somebody, or if there was really a groundswell to get him out, him being President Biden, then...