\v=23
\v~=Then Moses tolde the children of Israel, and they brought the blasphemer out of the hoste, and stoned him with stones: so the children of Israel did as the Lord had commanded Moses. 
\¬v
\¬p
\¬c