\p
\v=17
\v~=Du sollst nicht töten.
\¬v
\¬p