\v=30
\v~=\w and|strong="G2532"\w* \w whom|strong="G3739"\w* \w he|strong="G2532"\w* foreordained, \w them|strong="G3739"\w* \w he|strong="G2532"\w* \w also|strong="G2532"\w* \w called|strong="G2564"\w*: \w and|strong="G2532"\w* \w whom|strong="G3739"\w* \w he|strong="G2532"\w* \w called|strong="G2564"\w*, \w them|strong="G3739"\w* \w he|strong="G2532"\w* \w also|strong="G2532"\w* \w justified|strong="G1344"\w*: \w and|strong="G2532"\w* \w whom|strong="G3739"\w* \w he|strong="G2532"\w* \w justified|strong="G1344"\w*, \w them|strong="G3739"\w* \w he|strong="G2532"\w* \w also|strong="G2532"\w* \w glorified|strong="G1392"\w*. 
\¬v
\¬p