\p
\v=2
\v~=Kama ilivyoandikwa katika kitabu cha nabii Isaya:
\¬p
\q1
\p~<<q1=“Tazama, nitamtuma mjumbe wangu mbele yako,
\¬q1
\q2
\p~<<q2=atakayetengeneza njia mbele yako”:
\¬q2
\¬v