 In Carthage in 411 he had opposed Caelestius, a Pelagian.The formal proceedings were described by Augustine in "On Original Sin".Paulinus set up six theses defining Pelagian views as heresy; Caelestius gave up on becoming a presbyter in Carthage, instead he moved to Ephesus 

Paulinus was summoned to Rome in 417, to justify himself.