\v=10
\v~=\w as|strong="G2531"\w* \w it|strong="G3754"\w* \w is|strong="G1510"\w* \w written|strong="G1125"\w*, 
\¬p
\q1
\p~<<q1=\w There|strong="G3754"\w* \w is|strong="G1510"\w* \w none|strong="G3756"\w* \w righteous|strong="G1342"\w*, \w no|strong="G3756"\w*, \w not|strong="G3756"\w* \w one|strong="G1520"\w*; 
\¬q1
\¬v