\q1 \v=25 \v~=so make a balance and a weight for your words, \¬q1 \q2 \p~<