\v=17
\v~=Wer nun weiß, Gutes zu tun, und tut es nicht, dem ist es Sünde.
\¬v
\¬p
\¬c