\v=3
\v~=Wenn das Gestohlene lebend in seiner Hand gefunden wird, es sei ein Ochse oder ein Esel oder ein Stück Kleinvieh, soll er das Doppelte erstatten.
\¬v
\¬p