\v=17
\v~=Kwa maana imeshuhudiwa kwamba: 
\¬p
\q1
\p~<<q1=“Wewe ni kuhani milele, 
\¬q1
\q2
\p~<<q2=kwa mfano wa Melkizedeki.” 
\¬q2
\¬v