\p
\v=144
\v~=Gerechtigkeit sind deine Zeugnisse ewiglich; gib mir Einsicht, so werde ich leben.
\¬p
\pc
\p~<<pc=*
\¬pc
\¬v