\v=2 \v~=litachanua maua, \¬q1 \q2 \p~<