\p
\v=20
\v~=Adamu akamwita mkewe Eva, kwa kuwa atakuwa mama wa wote walio hai. 
\¬v
\¬p