 So give me your take on all of these. 800-655-MIKE, 800-655-6453. And incidentally, everybody's calling with all these different names. Let's just go with the official narrative, such as it is, that it's J.D. Vance, Doug Burgum, or Marco Rubio. Who do you like of those three?