\q1 \v=26 \v~=The destination of a liar is dishonor. \¬q1 \q2 \p~<