 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?