\q1 \v=9 \v~=Watakuja wakilia; \¬q1 \q2 \p~<