 But look, I think there were, and she sort of set the stage for a lot of other ex-rivals, Doron DeSantis, Marco Rubio, Vivek Ramaswamy, folks who at times had harsh things to say about Donald Trump, really coming together and uniting as a Republican Party.