\v=17
\v~=\wj denn wahrlich, ich sage euch: Viele Propheten und Gerechte haben begehrt zu sehen, was ihr anschaut, und haben es nicht gesehen, und zu hören, was ihr hört, und haben es nicht gehört.\wj*
\¬v
\¬p