\q1 \v=2 \v~=Blessed is he whose soul does not condemn him, \¬q1 \q2 \p~<