Trois ans après qu’elles furent soumises au jugement pontifical, le pape Innocent X condamna le 31 mai 1653 les cinq premières propositions de Nicolas Cornet par la bulle Cum occasione. Comme la bulle Ex omnibus afflictionibus de 1567, la décision de 1653 n’était pas exempte d’ambiguïtés : elle condamnait les propositions « à l’occasion du livre de Cornelius Jansénius » sans dire ni si elles se trouvaient bien dans l’Augustinus, ni si elles étaient condamnées dans le sens où les entendait Jansénius, puisqu’elles étaient isolées de tout contexte. Une large place demeurait ainsi ouverte aux interprétations contradictoires. En réglant la question « de droit » (les cinq propositions citées sont contraires à la doctrine de l’Église), la bulle ouvrait la question « de fait » sous ses deux aspects : celui de l’origine des propositions et celui de leur sens. Il fallut attendre un bref pontifical du 29 septembre 1654 pour que cette dernière question fût tranchée dans un sens que reprit deux ans plus tard la bulle Ad sacram d’Alexandre VII, successeur d’Innocent X.