\q1
\v=13
\v~=unampa utulivu siku za shida, 
\¬q1
\q2
\p~<<q2=mpaka shimo litakapokuwa limechimbwa 
\¬q2
\q2
\p~<<q2=kwa ajili ya mwovu. 
\¬q2
\¬v