\q1
\v=2
\v~=Baada ya siku mbili atatufufua; 
\¬q1
\q2
\p~<<q2=katika siku ya tatu atatuinua, 
\¬q2
\q2
\p~<<q2=ili tuweze kuishi mbele zake. 
\¬q2
\¬v