\q1 \v=32 \v~=Mwenye majivuno atajikwaa na kuanguka, \¬q1 \q2 \p~<