But executed has a quite definite meaning, I think. If anything, the terrorists have been executing people tonight.