 Although he did not agree with all of Jansen’s views on grace and free will, Arnauld devoted several major works to defending aspects of Jansenism, including On Frequent Communion, the Defense of Monsieur Jansenius and a Second Defense. These writings resulted in a trial and his expulsion from the Sorbonne in 1656. In 1661 the Council of State decreed that all churchmen must sign a formulary drawn up in 1657, condemning the heretical propositions in Jansen’s work Augustinus. Arnauld and Nicole had taken the position that the propositions were heretical but did not appear in the Augustinus. From 1669 to the late 1670s there was a truce between the Catholic Church and the Jansenists. But in 1679, after attacks had resumed, Arnauld went into exile in the Netherlands; he died at Brussels on 8 August 1694. Nicole had joined Arnauld in exile, but he returned to Paris in 1683 where he reconciled with the authorities. He died in Paris in 1695.