 Ladies and gentlemen, we are about to begin a very important part of our program. In the meantime, the official business of this convention began. The nomination of Trump as the Republican nominee. Michael, tell me what's happening. So at this point, 2 p.m., the roll call of delegates is underway on the floor of the convention hall. West Virginia, 32 delegates.