\q1
\v=7
\v~=Kusanyiko la watu na likuzunguke. 
\¬q1
\q2
\p~<<q2=Watawale kutoka juu. 
\¬q2
\¬v