Wanneer iemand een mens, wien ook, doodt, moet hij worden gedood;