\q1 \v=28 \v~=Car à la fin, tu trouveras son repos ; \¬q1 \q2 \p~<