And the Lord said to Moses, "Let that man be put to death; let the entire crowd crush him with stones, outside the camp."