\q1
\v=9
\v~=Sema na uamue kwa haki, 
\¬q1
\q2
\p~<<q2=tetea haki za maskini na wahitaji.” 
\¬q2
\¬v