\v=12
\v~=For who knoweth what is good for man in life, in all the days of his vain life, which he spendeth as a shadow? For who can tell a man what shall be after him under the sun? 
\¬v
\¬p
\¬c