\v=45
\v~=And Josaphat was at peace with the king of Israel. 
\¬v