\p
\v=4
\v~=Judas, who was called Maccabeus: 
\¬v
\¬p