“And if out of sheer hatred a man pushes another or from ambush throws something at him and he dies, or angrily hits him with his fist and kills him, that’s murder—he must be put to death. The avenger has a right to kill him when he gets him.