\v=30
\v~=Basi wakamiminika watu kutoka mjini wakamwendea Yesu.
\¬v
\¬p