But if the bull had been in the habit of attacking people and its owner had been warned, but did not keep it penned up — then if it gores someone to death, it is to be stoned, and its owner is to be put to death also.