\v=3
\v~=Denn du fragst, was sie dir nütze: Was gewinne ich mehr, als wenn ich gesündigt hätte?
\¬v
\¬p