 Ultimately, the political record leaves a lot to be desired, and I think some Republicans that are more comfortable in the traditional wing of the party would have liked to see someone like a Glenn Youngkin, 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...