 unbridled enthusiasm. People were just jumping out of their seats. There were Trump trains going around the floor of the convention. And of course, he officially got nominated. And then in the afternoon, J.D. Vance is named as the running mate. Speaker Mike Johnson made the formal introduction. Cut one. Pursuant to Rule 40D of the rules of the Republican Party, I formally declare President Donald J. Trump and J.D. Vance as the Republican nominees for president and vice president of the United States.