\v=4
\v~=Absalom and all the Israelite leaders who were with him thought that what Ahithophel said would be good to do.
\¬v
\¬p