\q1
\v=54
\v~=Hivyo akawaleta hadi kwenye mpaka wa nchi yake takatifu, 
\¬q1
\q2
\p~<<q2=hadi nchi ya vilima ambayo mkono wake wa kuume ulikuwa umeitwaa. 
\¬q2
\¬v