 Well, it was very dramatic, of course, and I think all sane people are grateful with it. 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 with it.