\v=3
\v~=\w and|strong="G2532"\w* \w cast|strong="G2532"\w* \w him|strong="G3588"\w* \w into|strong="G1519"\w* \w the|strong="G2532"\w* abyss, \w and|strong="G2532"\w* \w shut|strong="G2808"\w* \add \+w it|strong="G2532"\+w*\add*, \w and|strong="G2532"\w* \w sealed|strong="G4972"\w* \add \+w it|strong="G2532"\+w*\add* \w over|strong="G1883"\w* \w him|strong="G3588"\w*, \w that|strong="G2443"\w* \w he|strong="G2532"\w* \w should|strong="G1163"\w* \w deceive|strong="G4105"\w* \w the|strong="G2532"\w* \w nations|strong="G1484"\w* \w no|strong="G3361"\w* \w more|strong="G2089"\w*, \w until|strong="G1519"\w* \w the|strong="G2532"\w* \w thousand|strong="G5507"\w* \w years|strong="G2094"\w* \w should|strong="G1163"\w* \w be|strong="G2532"\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="G2532"\w* \w loosed|strong="G3089"\w* \w for|strong="G1519"\w* \w a|strong="G2532"\w* \w little|strong="G3397"\w* \w time|strong="G5550"\w*. 
\¬v
\¬p