\v=17
\v~=Und der König von Israel sprach zu Josaphat: Habe ich dir nicht gesagt: Er weissagt nichts Gutes über mich, sondern \add nur\add* Böses?
\¬v
\¬p