\v=17
\v~=Und die Männer von Israel wurden gemustert, außer Benjamin: 400.000 Mann, die das Schwert zogen; diese alle waren Kriegsmänner.
\¬v
\¬p