Killing a murderer is called capital punishment.