\v=30
\v~=\w Ceux|strong="G1161"\w* \w qu'il|strong="G2532"\w* \w a|strong="G2532"\w* \w prédestinés|strong="G4309"\w*, \w il|strong="G2532"\w* \w les|strong="G2532"\w* \w a|strong="G2532"\w* \w aussi|strong="G2532"\w* \w appelés|strong="G2564"\w*. \w Ceux|strong="G1161"\w* \w qu'il|strong="G2532"\w* \w a|strong="G2532"\w* \w appelés|strong="G2564"\w*, \w il|strong="G2532"\w* \w les|strong="G2532"\w* \w a|strong="G2532"\w* \w aussi|strong="G2532"\w* \w justifiés|strong="G1344"\w*. \w Ceux|strong="G1161"\w* \w qu'il|strong="G2532"\w* \w a|strong="G2532"\w* \w justifiés|strong="G1344"\w*, \w il|strong="G2532"\w* \w les|strong="G2532"\w* \w a|strong="G2532"\w* \w aussi|strong="G2532"\w* \w glorifiés|strong="G1392"\w*. 
\¬v
\¬p