\q1
\v=11
\v~=Mungu ni mwamuzi mwenye haki, 
\¬q1
\q2
\p~<<q2=Mungu aghadhibikaye kila siku. 
\¬q2
\¬v