 the Speaker of the House, if I'm not mistaken, is the one that would step in, right, Mike Smith? Well, actually, the way that it works, you can look at what happened with Richard Nixon and the resignation there. They actually get to select, the President gets to select their Vice President, and it would probably be Hakeem Jeffries, who's the leader of the Democrats in the House. That would probably be the choice.