 And in that moment, former President Trump officially became the nominee again, followed by a moment of celebration and dancing among the delegates on the floor in Milwaukee. 2,387 votes for Donald Trump, a unanimous result. And then at that point, the vote continued on. And then later in the afternoon, the same process for J.D. Vance. And then this announcement from House Speaker Mike Johnson saying... I formally declare President Donald J. Trump and J.D. Vance as the Republican nominees for President and Vice President of the United States.