\q1
\v=7
\v~=Hutandaza anga la kaskazini mahali patupu;
\¬q1
\q2
\p~<<q2=naye huiningʼiniza dunia mahali pasipo na kitu.
\¬q2
\¬v