\q1
\v=12
\v~=Wakati bado yanaendelea kukua kabla ya kukatwa,
\¬q1
\q2
\p~<<q2=hunyauka haraka kuliko majani mengine.
\¬q2
\¬v