\q1
\v=6
\v~=Usimwache hekima naye atakuweka salama; 
\¬q1
\q2
\p~<<q2=mpende, naye atakulinda. 
\¬q2
\¬v