 That process usually takes place after the primaries. And so what would happen, depending on when the candidate dropped out, is their names probably wouldn't be on a primary ballot. They wouldn't be running on a ballot. They'd be all Joe Biden delegates or all Donald Trump delegates.