Proculus, Bishop of Marseille, had obliged Leporius, a disciple of Pelagius, to leave Gaul, but it was not long before Marseille and Lérins, led by Cassian, Vincent and Faustus, became hotbeds of a teaching opposed to St. Augustine's and known as Semipelagianism.
This early-scholastic distinction and terminology, which is already recognized in concept and substance by the Fathers of the Church in their controversies with the Pelagians and Semipelagians, were again emphasized by Johann Eck, the adversary of Martin Luther.