\q1
\v=18
\v~=Watu hawa huvizia kumwaga damu yao wenyewe; 
\¬q1
\q2
\p~<<q2=hujivizia tu wenyewe! 
\¬q2
\¬v