\q1
\v=22
\v~=Wakati utembeapo, yatakuongoza; 
\¬q1
\q2
\p~<<q2=wakati ulalapo, yatakulinda; 
\¬q2
\q2
\p~<<q2=wakati uamkapo, yatazungumza nawe. 
\¬q2
\¬v