\v=33
\v~=The king said to Barzillai, “Come with me to Jerusalem, and I will take care of you.”
\¬v
\¬p