The GOP primaries and caucuses have not actually started, but Donald Trump appears from the polling to be way ahead. I prefer Ron DeSantis, but if you are betting, you would probably put your money on Donald Trump being nominated again. So be it. That’s what primaries are for—to find out what the base wants and to do that. And if that’s what the base wants, that’s what it should get. I’m going to support the nominee whether it is Ron DeSantis or Donald Trump or… well, it’s going to be one of those two. And I am still going...