\q1 \v=2 \v~=Ee \nd Bwana\nd*, unijaribu, unipime, \¬q1 \q2 \p~<