\p
\v=17
\v~=Eine Zauberin sollst du nicht leben lassen.
\¬v
\¬p