 He considered himself the establishment conservative, and that's why he didn't like Trump. My argument is that J.D. Vance, in my estimation, is a real smart guy. I mean, a really intelligent guy. But I think Rubio...