\v=3
\v~=\w and|strong="G2532"\w* \w cast|strong="G0906"\w* \w him|strong="G0846"\w* \w into|strong="G1519"\w* \w the|strong="G3588"\w* \w abyss|strong="G0012"\w*, \w and|strong="G2532"\w* \w shut|strong="G2808"\w* \w it|strong="G0846"\w* \w and|strong="G2532"\w* \w sealed|strong="G4972"\w* \w it|strong="G0846"\w* \w over|strong="G1883"\w* \w him|strong="G0846"\w*, \w that|strong="G2443"\w* \w he|strong="G2532"\w* \w should|strong="G1163"\w* \w deceive|strong="G4105"\w* \w the|strong="G3588"\w* \w nations|strong="G1484"\w* \w no|strong="G3361"\w* \w more|strong="G2089"\w* \w until|strong="G0891"\w* \w the|strong="G3588"\w* \w thousand|strong="G5507"\w* \w years|strong="G2094"\w* \w were|strong="G3778"\w* \w finished|strong="G5055"\w*. \w After|strong="G3326"\w* \w this|strong="G3778"\w*, \w he|strong="G2532"\w* \w must|strong="G1163"\w* \w be|strong="G1163"\w* freed \w for|strong="G1519"\w* \w a|strong="G2532"\w* short \w time|strong="G5550"\w*. 
\¬v
\¬p