Los jansenistas franceses afirmaban que las proposiciones condenadas por Inocencio X en 1653 no podían encontrarse en el libro "Agustinus", escrito por Cornelius Jansen, pero no solo no lograron que Alejandro VII levantara dicha condena, sino que fue confirmada mediante la publicación, el 16 de octubre de 1656, de la bula "Ad Sanctam Beati Petri Sedem", en la que declaraba que cinco de las proposiciones de Jansen, en su mayoría aquellas concernientes a la gracia y a la naturaleza pecaminosa del hombre, eran heréticas, incluyendo la proposición "que Cristo murió, o derramó su sangre por todos los hombres".