 Probably a really good way of putting it is MAGA is thrilled with J.D. Vance as the pick. Conservatives are less than thrilled. But we kind of figured it was going to be J.D. Vance. There's a couple of other names that kind of floated up there. None of the top-tier names would have made conservatives super happy. But I think you have to look at J.D. Vance, and you have to ask yourself the question, has J.D. Vance grown enough for you since 2016?