\v=30
\v~=And the kingdom of Josaphat was at peace; and his God gave him rest round about. 
\¬v
\¬p