\v=38
\v~=die Söhne Senaas: 3.930.
\¬v
\¬p