\v=20
\v~=\w For|strong="H3588"\w* \w it|strong="H3588"\w* \w was|strong="H3068"\w* \w of|strong="H3068"\w* \w Jehovah|strong="H3068"\w* \w to|strong="H3478"\w* \w harden|strong="H2388"\w* \w their|strong="H3068"\w* \w hearts|strong="H3820"\w*, \w to|strong="H3478"\w* \w come|strong="H1961"\w* \w against|strong="H7125"\w* \w Israel|strong="H3478"\w* \w in|strong="H3478"\w* \w battle|strong="H4421"\w*, \w that|strong="H3588"\w* \w he|strong="H3588"\w* \w might|strong="H3068"\w* \w utterly|strong="H2763"\w* \w destroy|strong="H8045"\w* \w them|strong="H1992"\w*, \w that|strong="H3588"\w* \w they|strong="H1992"\w* \w might|strong="H3068"\w* \w have|strong="H1961"\w* \w no|strong="H1115"\w* \w favor|strong="H3068"\w*, \w but|strong="H3588"\w* \w that|strong="H3588"\w* \w he|strong="H3588"\w* \w might|strong="H3068"\w* \w destroy|strong="H8045"\w* \w them|strong="H1992"\w*, \w as|strong="H1961"\w* \w Jehovah|strong="H3068"\w* \w commanded|strong="H6680"\w* \w Moses|strong="H4872"\w*. 
\¬v
\¬p