\v=18
\v~=Judas tomba, et les autres prirent la fuite. 
\¬v
\¬p