\q1
\v=15
\v~=Par sa fidélité, il s'est révélé être un prophète. 
\¬q1
\q2
\p~<<q2=2 Par ses paroles, il était connu pour être fidèle dans la vision. 
\¬q2
\¬v