\b
\q1
\v=15
\v~=Heri watu ambao hili ni kweli; 
\¬q1
\q2
\p~<<q2=heri wale ambao \nd Bwana\nd* ni Mungu wao. 
\¬v
\¬q2
\¬c