\q1
\v=5
\v~=Huko viti vya enzi vya hukumu hukaa, 
\¬q1
\q2
\p~<<q2=viti vya enzi vya nyumba ya Daudi. 
\¬q2
\¬v