\v=7
\v~=Er trinke und vergesse seine Armut und denke nicht mehr an seine Mühsal.
\¬v
\¬p