\v=9
\v~=And they, rejoicing exceedingly at the promise of the youth, quickly let him go. 
\¬v
\¬p