\v=5
\v~=\w Night|strong="G3571"\w* \w will|strong="G2316"\w* \w cease|strong="H7673"\w* \w to|strong="G1519"\w* \w be|strong="G1510"\w*. \w They|strong="G2532"\w* \w have|strong="G2192"\w* \w no|strong="G3756"\w* \w need|strong="G5532"\w* \w of|strong="G2316"\w* \w the|strong="G2532"\w* \w light|strong="G5457"\w* \w of|strong="G2316"\w* \w a|strong="G2192"\w* \w lamp|strong="G3088"\w*, \w nor|strong="G2532"\w* \w have|strong="G2192"\w* \w they|strong="G2532"\w* \w the|strong="G2532"\w* \w light|strong="G5457"\w* \w of|strong="G2316"\w* \w the|strong="G2532"\w* \w sun|strong="G2246"\w*; \w for|strong="G3754"\w* \w the|strong="G2532"\w* \w Lord|strong="G2962"\w* \w God|strong="G2316"\w* \w will|strong="G2316"\w* \w be|strong="G1510"\w* \w their|strong="G1438"\w* \w light|strong="G5457"\w*, \w and|strong="G2532"\w* \w they|strong="G2532"\w* \w will|strong="G2316"\w* \w reign|strong="G2532"\w* \w for|strong="G3754"\w* \w ever|strong="G3756"\w* \w and|strong="G2532"\w* \w ever|strong="G3756"\w*. 
\¬v
\¬p