\v=17
\v~=Mais Simon, le frère de Judas, avait rencontré Nicanor, mais pas avant un certain temps, car il avait été retardé par la consternation soudaine de ses adversaires. 
\¬v
\¬p