\v=17
\v~=Cela s'était accompli alors que le jour venait de poindre, à cause de la protection de l'Éternel qui avait porté secours à Judas. 
\¬v
\¬p