During the Council of Trent (1545–1563), the Roman Catholic Church had reaffirmed, as against Protestantism, both the reality of human liberum arbitrium (free will) and the necessity of grace. Catholicism was then divided into two main interpretations, Augustinism and Thomism, which both agreed on predestination and on efficacious grace, which meant that people cannot resist God's grace, although it did not cancel free will. Augustinism was rather predominant, in particular in the Catholic University of Leuven, where a rigid form of Augustinism, Baianism, was condemned by the Vatican in 1567.