\p
\v=12
\v~=Ole ya kwanza imepita, bado nyingine mbili zinakuja.
\¬v
\¬p