Als iemand een dier doodt, moet hij [ de eigenaar ] er een ander dier voor in de plaats geven. Maar als iemand een mens doodt, moet hij gedood worden.