\b
\q1
\v=7
\v~=Kumbukumbu ya mwenye haki itakuwa baraka, 
\¬q1
\q2
\p~<<q2=lakini jina la mwovu litaoza. 
\¬q2
\¬v