Ep. 17, M

3. La lettre encyclique du pape Martin (M. 87. 120 et suiv.) apporte une foule de citations bibliques dont aucune n'a trait à la question des volontés du Sauveur. Le concile de Rome de 649 (session 5, Harduin, Acta conciliorwn^ 3. 854) cite des textes patristiques lesquels contiennent parfois des références scripturaires.En ce sens, on peut dire que ce concile a préparé la démonstration biblique rédigée par le pape Agathon,

4. Ep. 4, ]\L 80. 473. Il s'agit des textes : « Non ut faciam voluntatem meam » (Jo. 6. 38). Non quod ego volo (Marc, 14. 36). Honorius se borne à dire que ces textes : « Et alla hujusmodi, non sunt haec diversae voluntatis sed dispensationis humanitatis assumptae. »