\v=56
\v~=die Söhne Neziachs, die Söhne Hatiphas.
\¬v
\¬p