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