 focused on a strategy of turning out their base at this point. You mentioned the vice presidential pick, J.D. Vance. What do you think he brings to the ticket? And he's a relative unknown to many people.