 I think overall the feeling is this is great, let's move forward, but truly the leader of the Republican Party is Donald Trump by a long shot. Matt, I had Congresswoman Carol Miller on earlier. I asked you the same question I asked her. Does it give you pause at all that not that long ago J.D. Vance was a never-Trumper, very critical not only of Trump but people who back Trump, and now he has had an apparent conversion? Your thoughts about that?