 Most anti-Trump Republicans were of the view that Republicans would end up getting stuck nominating Trump and then ending up having a younger, more energetic nominee that they had to run against. But I think by and large, Republicans, because look, they're leading right now. So when you're ahead, you really don't want anything in the race to change.