 But I think you're right. It doesn't really matter. Trump is his own brand, and he is the guy. It's Donald Trump and then everybody else. So I would have liked to have seen a Glenn Youngkin or a Burgum or a Nikki Haley because I think it would have been an outreach to the more standard base of the Republican Party and to try to help get some of those soccer moms from suburban neighborhoods to vote Republican.