\q1 \v=24 \v~=The prince, the judge, and the mighty man will be honored. \¬q1 \q2 \p~<