 and put forward a candidate, really anyone, and the delegates there vote in various rounds until there's a majority that confirms the new nominee. Now, about 4,000 of those delegates were elected during the primaries.