 I just want to summarize what we heard in this news conference. Essentially what senior advisors to the Trump campaign just told us is that this day is going to begin in the early afternoon with the official technical nomination by delegates of Trump as the Republican nominee. And then in the early afternoon, around 3 o'clock or so,