\q1
\v=27
\v~=Nitamteua pia awe mzaliwa wangu wa kwanza, 
\¬q1
\q2
\p~<<q2=aliyetukuka kuliko wafalme wote wa dunia. 
\¬q2
\¬v