\v=18
\v~=Denn bei viel Weisheit ist viel Verdruss; und wer Erkenntnis vermehrt, vermehrt Kummer.
\¬v
\¬p
\¬c