\v=17
\v~=And Isaac departed thence, and rested in the valley of Gerara, and dwelt there. 
\¬v
\¬p