\q1
\v=13
\v~=Dunia itakuwa ukiwa kwa sababu ya wakazi wake, 
\¬q1
\q2
\p~<<q2=kwa sababu ya matunda ya matendo yao. 
\¬q2
\¬v