\q1
\v=9
\v~=Mfundishe mtu mwenye hekima 
\¬q1
\q2
\p~<<q2=naye atakuwa na hekima zaidi; 
\¬q2
\q1
\p~<<q1=mfundishe mtu mwadilifu 
\¬q1
\q2
\p~<<q2=naye atazidi kufundishika. 
\¬q2
\¬v