\q1
\v=7
\v~=L'orgueil est odieux devant le Seigneur et devant les hommes. 
\¬q1
\q2
\p~<<q2=2 L'arrogance est odieuse dans le jugement des deux. 
\¬q2
\¬v