Numbers 15:36

And all the company bring him out unto the outside of the camp, and stone him with stones, and he dieth, as Jehovah hath commanded Moses.

Joshua 7:25

And Joshua saith, 'What! thou hast troubled us! -- Jehovah doth trouble thee this day;' and all Israel cast stones at him, and they burn them with fire, and they stone them with stones,

Treasury of Scripture Knowledge did not add