\q1
\v=13
\v~=Utainuka na kuihurumia Sayuni, 
\¬q1
\q2
\p~<<q2=kwa maana ni wakati wa kumwonyesha wema; 
\¬q2
\q2
\p~<<q2=wakati uliokubalika umewadia. 
\¬q2
\¬v