\q1
\v=13
\v~=walitangatanga kutoka taifa moja hadi jingine, 
\¬q1
\q2
\p~<<q2=kutoka ufalme mmoja hadi mwingine. 
\¬q2
\¬v