Should we be singing "Ding Dong the terrorist is dead!” or hiding under the covers because he’s become a martyr?