\p
\v=30
\v~=(Yoabu na Abishai ndugu yake walimuua Abneri kwa sababu alikuwa amemuua Asaheli ndugu yao katika vita huko Gibeoni.) 
\¬v
\¬p