\v=38
\v~=Sadoc his son, Achimaas his son. 
\¬v
\¬p