\v=3
\v~=Wanyama wanne wakubwa, kila mmoja tofauti na mwenzake, wakajitokeza kutoka bahari.
\¬v
\¬p