In the Seventeenth Letter, Pascal took up again the problem of efficacious grace and of the "de facto vs de juris" debate concerning the inclusion, or not, of the 5 Propositions condemned by the Pope in the "Cum Occasione" papal bull, in Jansenius's work (see Formulary controversy for details). Port-Royal and Pascal argued that although the Pope had condemned these 5 Propositions as heretical, they were not to be found in Jansenius. Furthermore, they claimed that the Pope held authority only on matters of faith, and not on technical "de facto" matters. Thus, drawing on the Jesuits' argumentation itself, Pascal argued here that one could not be held heretical to believe that Jansenius' work did not include these 5 Propositions, and that the Papal condemnation only restricted itself to the heresy itself, not to the question of their inclusion in Jansenius' work. Thus, he recalled the Jesuit Cardinal Bellarmine's sentences concerning the authority of religious councils concerning matters of dogma versus "de facto" issues; he also recalled the debate between St Athanasius and St Basil concerning the interpretation of Dionysus of Alexandria, who was accused by Basil of Arianism and therefore convoked before the Pope Dionysius in 262; or the various contradictory papal interpretations given to the Scythian monks; as well as another debate concerning Pope Honorius I, who had been later anathematized by the Third Council of Constantinople, although Cardinal Bellarmine defended Honorius' orthodoxy, claiming that the condemned propositions were not to be found in Honorius.