I hope not. I hope they were volunteer jihadis, in which case we should be celebrating.
But let's all not overlook the civilian who was also killed in the blast.
I regret the loss of the innocent civilian.