\q1
\v=7
\v~=Uovu hutoka katika mioyo yao iliyokufa ganzi, 
\¬q1
\q2
\p~<<q2=majivuno maovu kutoka mioyoni mwao hauna kikomo. 
\¬q2
\¬v