 Well, the ticket is set. 39-year-old J.D. Vance, first-term senator from Ohio, is now on the ticket with Donald Trump, who is today nominated for president. So the ticket is set. It was by acclamation. J.D. Vance was nominated by the Republican Party to be its vice presidential candidate, becoming the youngest, well, let's just say if he's elected, he would be the youngest vice president.