\v=6
\v~=She saw him coming, and said to his father, “Behold, your son is coming with the man that went with him!” 
\¬v
\¬p