\p
\v=11
\v~=\w Then|strong="G2532"\w* \w the|strong="G3588"\w* \w devil|strong="G1228"\w* \w left|strong="G0863"\w* \w him|strong="G0846"\w*, \w and|strong="G2532"\w* \w behold|strong="G2400"\w*, \w angels|strong="G0032"\w* \w came|strong="G4334"\w* \w and|strong="G2532"\w* \w served|strong="G1247"\w* \w him|strong="G0846"\w*. 
\¬v
\¬p