\v=18
\v~=Kwa kuwa alitambua Yesu alikuwa amekabidhiwa kwake kwa ajili ya wivu.
\¬v
\¬p