 Well, it was very dramatic, of course, and I think all sane people are grateful. Of course, everyone feels sorry for the man who was killed and his family and the people who were injured, apart from the ex-president. But I think almost everyone is grateful that President Trump was not himself seriously wounded. And clearly his cool-headed response,