\q1 \v=6 \v~=And if understanding is effective, \¬q1 \q2 \p~<