\v=9
\v~=Und Herodes sprach: Johannes habe ich enthauptet; wer aber ist dieser, von dem ich dies höre? Und er suchte ihn zu sehen.
\¬v
\¬p