But if the ox had the habit of goring, and its owner was warned, and he did not take the necessary precautions, and then it killed a man or a woman, the ox must be stoned and the man must be put to death.