\v=17
\v~=Gegossene Götter sollst du dir nicht machen.
\¬v
\¬p