 In 1653 the famous five propositions attributed to Jansen were declared to be heretical by Pope Innocent X in the Constitution “Cum Occasione.” Arnauld and most of the Port-Royal group claimed that the five propositions, although heretical on their most likely interpretation, were not in fact in Jansen’s work. The dispute led to Arnauld’s expulsion from the Sorbonne after a celebrated trial, which lasted from December 1, 1655 to January 30, 1656. Pascal came to Arnauld’s defense with the Provincial Letters, published in installments from January 23, 1656 to May, 1657. The dispute lasted until 1669, when the French bishops who supported Arnauld worked out a compromise with Pope Clement IX, and Arnauld enjoyed almost a decade in the good graces of both the court and the Pope. During this time, Arnauld wrote voluminously on the Eucharist, but he also found time to co-author the Port-Royal Grammar and Logic, and to write his Nouveaux éléments de géométrie. However, in the late 1670s, the attacks on Port-Royal by civil and religious authorities resumed, and in 1679 Arnauld fled to the Netherlands, where he remained until his death, in Liège, on August 8, 1694.