\v=9
\v~=\wj Wer Ohren hat [zu hören], der höre!\wj*
\¬v
\¬p