\v=18
\v~=Judas fell, and the rest fled. 
\¬v
\¬p