 And so it's over. She is going to be the candidate for the Democrats. So anybody who has time in that conversation doesn't waste everybody's time because it's done. That's going to be the deal. So the only question is...