\nb
\c#=23
\v=1
\v~=A man shall not take his father's wife, and shall not uncover his father's skirt. 
\¬v
\¬p