\q1
\v=17
\v~=Kumbukumbu lake litatoweka katika dunia,
\¬q1
\q2
\p~<<q2=wala hatakuwa na jina katika nchi.
\¬q2
\¬v