 They would have to they would because it's different if he resigns prior to the nomination. She would become the acting president. But if he does it after he gets a nomination, the Democrat congressional leaders, governors and powers to be, if you will, and the DNC chair would meet and they would recommend a replacement. And then the full Democrat National Committee would vote on that replacement.