\q1
\v=15
\v~=Wanaukimbia upanga, 
\¬q1
\q2
\p~<<q2=kutoka upanga uliochomolewa alani, 
\¬q2
\q1
\p~<<q1=kutoka upinde uliopindwa, 
\¬q1
\q2
\p~<<q2=na kutoka kwenye joto la vita. 
\¬q2
\¬v