 thinking that the choice is either J.D. Vance or some wildcard person who we haven't even thought of. Ladies and gentlemen, we're 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.