\q1
\v=16
\v~=Wote watengenezao sanamu wataaibika na kutahayarika; 
\¬q1
\q2
\p~<<q2=wataenda kutahayarika pamoja. 
\¬q2
\¬v