\v=6
\v~=\w And|strong="G1161"\w* \w if|strong="G1487"\w* \w by|strong="G1537"\w* \w grace|strong="G5485"\w*, \w then|strong="G1161"\w* \w it|strong="G1161"\w* \w is|strong="G3588"\w* \w no|strong="G3765"\w* \w longer|strong="G3765"\w* \w of|strong="G1537"\w* \w works|strong="G2041"\w*; \w otherwise|strong="G1893"\w* \w grace|strong="G5485"\w* \w is|strong="G3588"\w* \w no|strong="G3765"\w* \w longer|strong="G3765"\w* \w grace|strong="G5485"\w*. \w But|strong="G1161"\w* \w if|strong="G1487"\w* \w it|strong="G1161"\w* \w is|strong="G3588"\w* \w of|strong="G1537"\w* \w works|strong="G2041"\w*, \w it|strong="G1161"\w* \w is|strong="G3588"\w* \w no|strong="G3765"\w* \w longer|strong="G3765"\w* \w grace|strong="G5485"\w*; \w otherwise|strong="G1893"\w* \w work|strong="G2041"\w* \w is|strong="G3588"\w* \w no|strong="G3765"\w* \w longer|strong="G3765"\w* \w work|strong="G2041"\w*. 
\¬v
\¬p