\q1 \v=25 \v~=One thing establishes the good things of another. \¬q1 \q2 \p~<