\q1
\v=3
\v~=Mwanzi uliopondeka hatauvunja, 
\¬q1
\q2
\p~<<q2=na utambi unaofuka moshi hatauzima. 
\¬q2
\q1
\p~<<q1=Kwa uaminifu ataleta haki, 
\¬q1
\¬v