\v=13
\v~=Watakatifu wote wanawasalimu.
\¬v
\¬p