 Well, you know, the media had reported that there were three potential picks, and of the three, I mean, J.D. Vance was, I guess, the safest from my perspective. But, yeah, I think he's, and again, President Trump will make the decisions he makes, and he's got way more information than I do. But I personally am disappointed that he didn't go outside of those three. Well, he made a mistake eight years ago on picking Pence, didn't he?