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