 And it hasn't worked out all that well. So what the Democrats are faced with is getting rid of the guy who the primaries, the people who voted in the primaries, are trying to dump him. And they're trying to, in a backroom smoke-filled closet, come up with somebody that will represent the Democrat Party on the ticket November 5th. So I struggle with this about the people should select the candidates, but I don't think the people are all that good at it.