 J.D. Vance, who is now the Republican nominee for vice president. What are your thoughts about this choice? Is this a surprise at all? I always thought this was the smartest choice out of all the people who were on that list. And it looks like this is exactly what came to pass.