Jansenisme

Selain itu, pada tahun 1653 dalam bullanya Cum Occasione, Paus Innocentius X mengutuk proposisi-proposisi yang berasal dari Jansen, khususnya yang berkaitan dengan doktrin pre-determinasi. Pandangan Jansen mengenai pre-determinasi dianggap sebagai bidaah, termasuk tindakan Paus Klemens XI pada 1713 yang mengutuk karya-karya Jansenis.