\v=16
\v~=Aber ganz Israel und Juda hatten David lieb, denn er zog aus und ein vor ihnen her.
\¬v
\¬p