\q1
\v=9
\v~=Car s'ils avaient le pouvoir de savoir tant de choses, 
\¬q1
\q2
\p~<<q2=2 qu'ils doivent pouvoir explorer le monde, 
\¬q2
\q2
\p~<<q2=2 comment se fait-il qu'ils n'aient pas trouvé le Souverain Seigneur plus tôt ? 
\¬q2
\¬v
\p
\¬p