paragraph_text: Zaokružene postavke jansenizma sadržane su u knjizi Augustinus, seu doctrina S. Augustini de humanae naturae sanitate, aegritudine, medicina, adversus Pelagianos et Massilienses; tu knjigu Corneliusa Jansena su po njegovoj smrti dovršili i 1640. objavili njegovi suradnici. Postavke iz te knjige je Katolička Crkva osudila, te je papa Inocent X. u buli Cum occasione (1653.) izrijekom osudio pet postavki iz te knjige kao hereze. Svih pet postavki se odnose na predestinaciju, te sudjelovanje čovjekove volje i Božje milosti: riječ je u neku ruku o detaljima katoličkog naučavanja, koji bi možda u nekoj teološkoj knjizi prošli i nezapaženo, da jansenisti nisu na tim detaljima tako predano inzistirali pokušavajući u svakom pogledu biti "katolici na kvadrat", tj. "veći katolici od pape". Npr. jansenisti su inzistirali da čini herezu onaj koji bi rekao da je Isus prolio krv (ili da je umro) "za sve ljude".<ref> "Catholic Encyclopedia 1905. -1914.", "Pope Innocent X" Osudu koju je izrekao Inocent X. je u buli Ad sanctam Beati Petri sedem (1656.) ponovio papa Aleksandar VII.<ref> "Catholic Encyclopedia 1905. -1914.", "Ad Sanctam Beati Petri Sedem"