\v=22
\v~=Da machte David sich auf und alles Volk, das bei ihm war, und sie gingen über den Jordan; bis der Morgen hell wurde, wurde auch nicht einer vermisst, der nicht über den Jordan gegangen wäre.
\¬v
\¬p