\q1
\v=2
\v~=Siku baada ya siku zinatoa habari, 
\¬q1
\q2
\p~<<q2=usiku baada ya usiku zinatangaza maarifa. 
\¬q2
\¬v