\v=27
\v~=Kwa mara nyingine tena Petro akakana, naye jogoo akawika wakati huo huo.
\¬v
\¬p