\q1 \v=20 \v~=Jua lako halitazama tena, \¬q1 \q2 \p~<