\v=7
\v~=Jonathan went with the king as far as the river that is called Eleutherus, then returned to Jerusalem. 
\¬v
\¬p