\v=7
\v~=Wenn der Dieb nicht gefunden wird, so soll der Besitzer des Hauses vor die Richter treten, ob er nicht seine Hand nach der Habe seines Nächsten ausgestreckt hat.
\¬v
\¬p