\v=18
\v~=Benaiah son of Jehoiada was the commander of David’s bodyguards, and David’s sons were his advisors.
\¬v
\¬p
\¬c