\q1
\v=23
\v~=Pourtant, \w il|strong="H1732"\w* \w a|strong="H6680"\w* \w commandé|strong="H6680"\w* \w les|strong="H6605"\w* \w cieux|strong="H8064"\w* \w en|strong="H8064"\w* \w haut|strong="H4605"\w*, 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H8064"\w* \w a|strong="H6680"\w* \w ouvert|strong="H6605"\w* \w les|strong="H6605"\w* \w portes|strong="H1817"\w* \w du|strong="H1817"\w* \w ciel|strong="H8064"\w*. 
\¬q2
\¬v