\v=30
\v~=\wj Aber viele Erste werden Letzte und Letzte Erste sein.\wj*
\¬v
\¬p
\¬c