\q1
\v=16
\v~=Hakuna mfalme aokokaye kwa ukubwa wa jeshi lake; 
\¬q1
\q2
\p~<<q2=hakuna shujaa aokokaye kwa wingi wa nguvu zake. 
\¬q2
\¬v