\q1
\v=27
\v~=Walipepesuka na kuyumbayumba kama walevi, 
\¬q1
\q2
\p~<<q2=ujanja wao ukafikia ukomo. 
\¬q2
\¬v