\q1
\v=17
\v~=Mais, étant mortel, il fait une chose morte par l'œuvre de mains sans loi ; 
\¬q1
\q2
\p~<<q2=2 car il est meilleur que les objets de son culte, 
\¬q2
\q2
\p~<<q2=2 puisqu'il avait effectivement la vie, mais ils ne l'ont jamais eue. 
\¬q2
\¬v
\p
\¬p