 And the traditional wing of the party would have liked to see someone like a Glenn Young kid, a Marco Rubio, or a Doug Burgum from North Dakota. But to that point, I think that's what is significant about the pick of J.D. Vance, right? Because this is a different type of...