\v=10
\v~=Naye amewekwa na Mungu kuwa Kuhani Mkuu kwa mfano wa Melkizedeki. 
\¬v
\¬p