\q1
\v=25
\v~=Wanadamu wote wameiona;
\¬q1
\q2
\p~<<q2=watu wanaikazia macho kwa mbali.
\¬q2
\¬v