\q1 \v=37 \v~=Wakawatoa wana wao \¬q1 \q2 \p~<