\v=22
\v~=So David and all his soldiers quickly started to cross the river, and by dawn they had all crossed to the other side.
\¬v
\¬p