 You mentioned that he was one of those never-Trump Republicans. There is this long list of phenomenally rude things he said about Donald Trump, and I wonder, is that something people are talking about at the convention or whispering about, or is it sort of one of those embarrassing things that everyone wants to pretend never happened?