Comenzando a partir del principio de que las resoluciones de los sínodos provinciales no tienen fuerza vinculante hasta que son confirmadas por la suprema autoridad de la sede apostólica, el papa desarrolló la enseñanza católica sobre el pecado original y la gracia y excluyó a Pelagio y Celestio, quienes habían rechazado estas enseñanzas, de la comunión con la Santa Sede, hasta que ellos revirtieran sus pareceres (donec resipiscant).