\v=18
\v~=\w So|strong="G3767"\w* \w then|strong="G3767"\w*, \w he|strong="G3739"\w* \w has|strong="G3739"\w* \w mercy|strong="G1653"\w* \w on|strong="G1653"\w* \w whom|strong="G3739"\w* \w he|strong="G3739"\w* \w desires|strong="G2309"\w*, \w and|strong="G1161"\w* \w he|strong="G3739"\w* \w hardens|strong="G4645"\w* \w whom|strong="G3739"\w* \w he|strong="G3739"\w* \w desires|strong="G2309"\w*. 
\¬v
\¬p