A dead enemy is a dead enemy, no matter how he is slain.