¹⁷ ‘If a man kills anyone, he must be put to death.^{(A) 18} Whoever kills an animal is to make restitution for it, life for life. ¹⁹ If any man inflicts a permanent injury on his neighbour, whatever he has done is to be done to him: ²⁰ fracture for fracture, eye for eye, tooth for tooth. Whatever injury he inflicted on the person, the same is to be inflicted on him.^(B)