\v=15
\v~=And there went up with him also a mighty army of the ungodly to help him, to take vengeance on the children of Israel. 
\¬v
\¬p