\v=3
\v~=And the children of Israel cried to the Lord, because he had nine hundred chariots of iron; and he mightily oppressed Israel twenty years. 
\¬v
\¬p