\b
\q1
\v=10
\v~=Kama mpiga upinde ambaye hujeruhi ovyo,
\¬q1
\q2
\p~<<q2=ndivyo alivyo yeye aajiriye mpumbavu au yeyote apitaye njiani.
\¬q2
\¬v