\v=24
\v~=der König von Tirza, einer. Aller Könige waren 31.
\¬v
\¬p
\¬c