\v=23
\v~=\w So|strong="H5674"\w* \w Jehovah|strong="H3068"\w* \w saved|strong="H3467"\w* \w Israel|strong="H3478"\w* \w that|strong="H3117"\w* \w day|strong="H3117"\w*: \w and|strong="H3478"\w* \w the|strong="H3068"\w* \w battle|strong="H4421"\w* \w passed|strong="H5674"\w* \w over|strong="H5674"\w* \w by|strong="H5674"\w* \w Beth-aven|strong="H1007"\w*. 
\¬v
\¬p