\q1
\v=3
\v~=Yakobo akiwa tumboni alishika kisigino cha kaka yake; 
\¬q1
\q2
\p~<<q2=kama mwanadamu, alishindana na Mungu. 
\¬q2
\¬v