\v=12
\v~=Glückselig der Mann, der die Versuchung erduldet! Denn nachdem er bewährt ist, wird er die Krone des Lebens empfangen, die er denen verheißen hat, die ihn lieben.
\¬v
\¬p