\q1 \v=25 \v~=Nilitazama, wala watu hawakuwepo; \¬q1 \q2 \p~<