Durante l'assemblea del clero francese del 1650, quasi ottanta vescovi sottoscrissero una lettera che chiedeva l'intervento del papa sulle proposizioni della Sorbona. Innocenzo X preparò così una speciale commissione per studiare le proposizioni. Il lavoro durò due anni: il 9 giugno 1653 era pronta la bolla "Cum occasione", nella quale le prime cinque proposizioni erano condannate, le prime quattro come eretiche e la quinta come "falsa in senso eretico". La bolla, pur senza dirlo, affermava implicitamente che le proposizioni si trovavano nell"Augustinus"; in realtà, però, soltanto la prima proposizione si trova integralmente e negli stessi termini nell'opera di Giansenio.