\q1 \v=25 \v~=A thief is better than a man who is continually lying, \¬q1 \q2 \p~<