Donald Trump is officially the Republican Party’s nominee for president of the United States.
On Tuesday evening, Trump secured the 1,237 delegate votes needed to become the party’s nominee on the convention floor in Cleveland, Ohio.
Because of the states he’d won in the primaries and caucuses, Trump already had many more than 1,237 delegates pledged to him going into the convention. Still, in the run-up, there was a lot of wrangling over whether anti-Trump forces might change the rules and allow those delegates to vote for other candidates.
On Monday, there was a last-ditch vote around those rules. As Vox’s Andrew Prokop explained, that effort could have theoretically blocked Trump from getting the nomination. But it failed, extinguishing any last hope that someone else could still be the GOP nominee.