 I had friends there that videotaped the chair announces that President Donald J. Trump, having received a majority of the votes entitled to be cast at the convention, has been selected as the Republican Party nominee for president of the United States. And I'm just going to finish my thought there.