 Oh, yeah. The Speaker of the House, Mike Johnson, becomes the president of these great United States. Same way we got Gerald Ford. Oh, yeah. Yes. Yeah. Well, look, it's a fair point. Yeah. And, of course, we all know Ford was maybe, I don't know, just an inch or so shy of being a full-blown Democrat. Yeah.