\p
\v=54
\v~=(For we have walked in unpleasant places.) 
\¬v
\¬p