\v=13
\v~=Baada ya Sauli kumaliza kutoa unabii, alikwenda mahali pa juu.
\¬v
\¬p