\q1 \v=25 \v~=There is an exquisite subtlety, and it is unjust. \¬q1 \q2 \p~<