Yet, as Lumen Gentium reminds us, «this infallibility with which the Divine Redeemer willed His Church to be endowed in defining doctrine of faith and morals, extends as far as the deposit of Revelation extends» and no farther. (firstthings.com)
We do not need to reject or twist defined doctrines in order to present our faith credibly in this new age of discovery, neither do we need to distance ourselves from the scientific consensus about the natural world. (faith.org.uk)
That the souls of the just enjoy the Beatific Vision while yet awaiting the resurrection of their bodies is also solemnly defined doctrine (Benedictus Deus (1336): DS 1000; cf. Lumen Gentium 49). (faith.org.uk)