\q1 \v=22 \v~=How desirable are all his works! \¬q1 \q2 \p~<