Jansenism was an early modern theological movement within Catholicism, primarily active in the Kingdom of France, that arose in an attempt to reconcile the theological concepts of free will and divine grace. Jansenists claimed to profess the true doctrine of grace as put forth by Augustine of Hippo. In 1653, Pope Innocent X promulgated the bull Cum occasione, which condemned five errors attributed to Jansenism, including the idea that Christ did not die or shed his blood for all men.
The movement originated in the posthumously published work of the Dutch theologian Cornelius Jansen, who died in 1638. It was first popularized by Jansen's friend, Abbot Jean du Vergier de Hauranne of Saint-Cyran-en-Brenne Abbey, and after du Vergier's death in 1643, the movement was led by Antoine Arnauld. Through the 17th and into the 18th centuries, Jansenism was a distinct movement away from the Catholic Church. The theological center of the movement was Port-Royal-des-Champs Abbey, which was a haven for writers including du Vergier, Arnauld, Pierre Nicole, Blaise Pascal, and Jean Racine.
Jansenism was opposed by many within the Catholic hierarchy, especially the Jesuits. Although the Jansenists identified themselves only as rigorous followers of Saint Augustine of Hippo's teachings, Jesuits coined the term Jansenism to identify them as having Calvinist leanings. The apostolic constitution Cum occasione, promulgated by Pope Innocent X in 1653, condemned five cardinal doctrines of Jansenism as heretical, especially the relationship between human free will and efficacious grace, wherein the teachings of Augustine, as presented by the Jansenists, contradicted Jesuit thought. Jansenist leaders endeavored to accommodate the pope's pronouncements while retaining their uniqueness, and enjoyed a measure of peace in the late 17th century under Pope Clement IX. Further controversy led to the papal bull Unigenitus of Pope Clement XI in 1713, however, which condemned further Jansenist teachings.