\v=24
\v~=And she called his name Joseph, saying, Let God add to me another son. 
\¬v
\¬p