Pope Formosus
A third work of Auxilius, of similar import, was found by Mabillon and published by him under the title, "Libellus super causâ et negatio Formosi papæ", in his "Vetera Analecta". In his "Auxilius und Vulgarius", quoted below, Ernst Dümmler published from a Bamberg manuscript two further writings of Auxilius, one of which is known as "In defensionem sacræ ordinationis papæ Formosi libellus prior et posterior", while the other bears in the manuscript itself the title: "Libellus in defensionem Stephani episcopi et præfatæ ordinationis". (Stephen, Bishop of Naples had been consecrated by Pope Formosus.)