\v=33
\v~=Yesu aliyasema haya akionyesha ni kifo gani atakachokufa.
\¬v
\¬p