\v=22
\v~=Das sind die Geschlechter Judas nach ihren Gemusterten: 76.500.
\¬v
\¬p