\v=2
\v~=Basi Sauli akachukua watu hodari 3,000 kutoka Israeli yote kwenda kumsaka Daudi na watu wake karibu na Majabali ya Mbuzi-Mwitu.
\¬v
\¬p