\q1 \v=9 \v~=Watu wote watajua hili: \¬q1 \q2 \p~<