 I didn't see, was J.D. Vance there last night? I did not see. But it would seem to me that it's most likely that Trump would pick somebody who, to most Americans, is a nobody. Like a Doug Burgum, who most Americans are not familiar with that name. Much like the guy I mentioned earlier, Josh Shapiro. Most Americans are not familiar with him. But yeah, most people are not familiar with somebody like Doug Burgum.