\v=22
\v~=And so I saw that there is nothing better than that a man should rejoice in his labors; for that is his portion. For who shall bring him to see what shall be after him? 
\¬v
\¬p
\¬c