Pope Formosus (891-896)

An ordinary pope in a violent end of century

Formosus left no original theology, no major administrative reform, and no dogmatic definition bearing his name. His pontificate lasted four and a half years, in a Latium at war. The notices describe him as a religious, upright, and ascetic man, without political genius but without moral stain.^[13][14] His importance lies not chiefly in what he did, but in what was done to him after his death, and in the way the Catholic Church judged the episode.

The post-mortem pope

In the historiography of the Cadaver Synod, Formosus is the uniquely attested case of a pope formally tried after death at the initiative of another pope, with mutilation of the corpse in the course of the proceedings. The episode was so extreme that it marked the Western imagination down to the nineteenth century, as shown by the painting of Jean-Paul Laurens (1870) now in the Museum of Arts of Nantes. For the Church, the Cadaver Synod is what Horace Mann calls an "atrocious deed."^[15]

The ultimate test of sacramentality

Stephen VI did not merely depose Formosus: he annulled every ordination Formosus had conferred. Yet Stephen VI himself had been consecrated bishop of Anagni by Formosus. The internal contradiction was so grave that it forced emerging theology to articulate the sacramental doctrine distinguishing the validity of a sacrament from the worthiness of the minister. That is exactly what Auxilius of Naples defended against the anti-Formosans -- the supporters of the Cadaver Synod.^[16] Theodore II annulled the synod in December 897, John IX had its acts destroyed and forbade posthumous trials at the synods of Rome and Ravenna in 898; Sergius III would nevertheless return to the earlier line between 904 and 911. The Formosan episode thus contributed, without inventing it, to the formulation of the Catholic doctrine of sacramental validity.

A victim of factions, not a culprit

Part of the historiography -- from Mann (1910) and Duchesne down to Laurent Jegou (2015) and the proceedings of the XV International Congress of Medieval Canon Law (Vatican City, 2022) -- holds that Formosus did not betray: he was crushed by the struggle between the Spoletan clan (Lambert, Ageltrude) and the Roman nobility, in a Rome foreshadowing what historians call the "pornocracy" -- the domination of the Roman aristocracy over the papacy in the tenth century. His official rehabilitation as early as 898 means that the Church herself treated the Cadaver Synod not as a judgment, but as a political abuse disguised as canonical procedure.^[17][18][19]

A Roman birth around 816

Neither the day nor the precise place of Formosus's birth is known. The Catholic Encyclopedia of 1909 ("probably a native of Rome") and Mann place his birth around 816, on the basis of one convergent clue: at his death in 896, the monk Eugenius Vulgarius described him as an old man of eighty.^[20][21] No document identifies his parents, childhood, or clerical education.

This silence fits what is often seen with Roman churchmen of the ninth century: the career is everything. Formosus appears in the sources only when he becomes useful to a pope. By then he is already a trained Roman cleric, capable of being appointed directly to the rank of suburbicarian bishop (bishop of a diocese neighboring Rome).

Bishop of Porto in 864

In 864, Nicholas I made him cardinal-bishop of Porto (Latin Portus, Rome's harbor at the mouth of the Tiber). Porto was one of the seven suburbicarian sees surrounding the Lateran and forming, with the Roman diaconate, the heart of papal government. The appointment shows that Formosus, at about forty-eight, was already recognized as a trusted man by Nicholas I, the most demanding pope of the ninth century.^[22][23]

Elevation to Porto also meant that, under ancient ecclesiastical discipline, Formosus was now bound to a see. Conciliar law forbade a bishop to leave his diocese for another: this was the prohibition of translatio. That rule, inherited from the canons of Nicaea, would become one of the two legal levers of the posthumous accusation.^[24]

The Bulgarian mission (866-867)

In 866, the recently baptized Bulgarian prince Boris-Michael sent an embassy to Rome with a series of doctrinal and disciplinary questions. Nicholas I answered them in the famous Responsa Nicolai Papae I ad consulta Bulgarorum. To accompany the response and organize the young Bulgarian Church on the ground, the pope sent two legates: Formosus, bishop of Porto, and Paul, bishop of Populonia.^[25][26]

The expedition was a religious success. Boris grew attached to Formosus, so much so that in 867 he asked Nicholas I to appoint Formosus archbishop of Bulgaria. The request was excessive: Boris was in effect seeking to create an autonomous Roman Bulgarian Church led by a man he trusted. Nicholas I refused, on canonical grounds. As the Catholic Encyclopedia summarizes:

"Nicholas I refused, since the canons forbade a bishop to leave his own see in order to govern another diocese." -- J. P. Kirsch, Pope Formosus, in Catholic Encyclopedia, vol. VI, 1909^[27]

This was the first time the question of translatio episcopi arose in Formosus's case. Thirty years later, the Cadaver Synod would recall the episode as proof of an early papal ambition. For modern historians, this is a forced reading: Formosus had not asked for Bulgaria; Bulgaria had asked for him.^[28][29]

Missions in Frankia (869, 872)

Under Adrian II, Formosus was sent in 869 to West Frankia, to Charles the Bald. The mission belonged to the diplomatic sequence opened by the marital case of Lothair II and Theutberga, which had occupied Nicholas I for eight years. A second mission took him in 872 to Trent, where the succession of Emperor Louis II was under discussion, shortly before Adrian II's death.^[30][31]

These two missions show that Formosus belonged to the restricted circle of legates whom popes sent to their most delicate affairs. Trust accumulated.

A candidate for the pontificate in 872?

When Adrian II died in December 872, several later sources suggest that Formosus may have been a possible candidate for the Roman See. John VIII was elected instead. Mann notes that no contemporary source says Formosus had "sought" the papacy at that time; but the Roman synod of 876 would later charge that he had "aspired to the See of Peter."^[32][33]

The accusation was probably exaggerated. More than Formosus's ambitions, it illustrates the way John VIII later reformulated internal tensions within the Roman curia. The neighboring article on John VIII shows that these Roman excommunications targeted a wider political network: Lambert of Spoleto, Adalbert of Tuscany, Formosus of Porto, and presumed supporters of Carloman of Bavaria against Charles the Bald.^[34]

The flight of April 876

On 25 December 875, John VIII crowned Charles the Bald emperor. For Roman factions opposed to Charles, the gesture was an alarm bell. A few months later, in April 876, Formosus fled Rome with other clerics and dignitaries, abandoning his diocese of Porto.^[35][36]

The reasons for the flight remain debated. John VIII presented it as a political conspiracy. Mann sees it rather as a calculated panic: Formosus had good reason to fear reprisals from a pope who had just won and who did not hesitate to strike his internal opponents.

The Roman synods of 19 April and 30 June 876

On 19 April 876, John VIII convened a synod in Rome that ordered the fugitives to return: against Formosus, should he fail to return, a conditional sentence of excommunication and deposition was pronounced. Faced with their refusal to obey, a second synod, on 30 June 876, condemned Formosus and excluded him from the ranks of the clergy. The sentence rested on three main charges:

1. that he had aspired to the archbishopric of Bulgaria and to the Roman See;
2. that he had abandoned his diocese of Porto without permission;
3. that he had conspired against the emperor Charles the Bald.

The Catholic Encyclopedia summarizes:

"Sentence of excommunication and deposition was pronounced, the charges being that, urged by ambition, he had aspired to the archbishopric of Bulgaria and to the See of Peter, had opposed the emperor, and had abandoned his diocese." -- J. P. Kirsch, Pope Formosus^[37]

The accusation was serious but, at this stage, remained disciplinary: John VIII did not touch doctrine. The pope wanted to remove a rival who could destabilize him in a divided Rome.

The Council of Troyes (August-September 878) and the oath

The sentence was confirmed at the Council of Troyes in the presence of John VIII and King Louis the Stammerer. There, in Champagne, the file took the form that would matter twenty years later. Formosus swore an oath never to return to Rome, never again to exercise priestly ministry, and to live henceforth as a layman -- according to conciliar acts that Kirsch notes are of doubtful authenticity ("of doubtful authenticity"). The oath was not incidental: it would become the first charge at the Cadaver Synod, turning an act of canonical submission into evidence of later perjury.^{[38][39][40][41]}

The exile in Frankia lasted seven years. For this period the sources are silent: Formosus lived withdrawn, without ecclesiastical office, under the protection of the Frankish clergy.

Rehabilitation by Marinus I (883)

When John VIII died on 16 December 882, Marinus I succeeded him. Marinus was precisely one of the men who knew Formosus best: as legate of Adrian II to the Eighth Ecumenical Council of Constantinople (869-870), he belonged to the same Roman diplomatic circle. In 883, Marinus released Formosus from his oath of Troyes, recalled him to Rome, and restored him to his see of Porto.^[42][43]

The historian Horace Mann judges this rehabilitation unfortunate in its consequences -- not because Formosus was guilty, but because it reintroduced into Rome a name around which factions could crystallize again (paraphrase).^[44] The comment is a useful reminder: forgiveness may pacify, but it may also reopen conflicts if the underlying political divisions have not changed.

Under Adrian III (884-885) and then Stephen V (885-891), Formosus resumed his place in the Roman curia. When Stephen V died in September 891, Formosus was one of the oldest bishops in Rome, one of the most experienced men in eastern and Carolingian diplomacy, and one of the few who had served four different popes on four different dossiers.

The election of 6 October 891 and the canonical question

Formosus was elected pope in 891 -- Kirsch (1909) gives only the month of September 891^[45], while the official list of the Holy See retains 6 October 891 as the beginning of the pontificate^[46]: the Dizionario Biografico degli Italiani specifies that the enthronement "probably took place on 6 Oct. 891"^[47]. The election was swift, and apparent opposition was weak. But it struck one difficulty: Formosus was already bishop of Porto, and a consecrated bishop could not canonically pass from one see to another. This was the prohibition of episcopal translation, inherited from the ancient canons of Nicaea and already invoked to prevent Formosus from being sent to Bulgaria in 867.^[48][49]

The passage from a suburbicarian see to the Roman See was, in the reading proposed by the historian Laurent Jegou (2015), a new fact in ninth-century practice. The closest precedent was that of Marinus I, already bishop of Caere (Cerveteri) -- a diocese of Latium not counted among the suburbicarian sees^[50][51] -- at the time of his election in 882. Formosus would in contrast be, still in this reading, the first attested case of passage from a suburbicarian see (Porto) to the Roman See; Marinus had reigned briefly and did not carry, as Formosus did, a long past of canonical conflicts. The historian Laurent Jegou shows that the act of 891 would be seen, by contemporaries and posterity alike, as a precedent both necessary and fragile: necessary because genuinely trained curial figures were rare; fragile because it offered an opening to any future opposition.^[52]

The coronation of Lambert of Spoleto (April 892)

Six months after his election, Formosus crowned Lambert of Spoleto co-emperor alongside his father Guy III of Spoleto. The ceremony took place in April 892 at Saint Peter's, under the military pressure of the Spoletans, whose lands now encircled the papal patrimony to the north and south.^[53][54]

The coronation was not enthusiastic support: it was a constrained act, the direct consequence of the political weakness of the Apostolic See after the death of John VIII (882) and the collapse of Charles the Fat (888). Formosus accepted what he could not prevent.

The appeal to Arnulf of Carinthia

Very quickly, Formosus sought to free himself from Spoletan tutelage. He called to his aid the king of East Frankia, Arnulf of Carinthia, a natural grandson of Louis the German. Arnulf's first Italian campaign in 894 did not break the house of Spoleto. A second expedition was launched in the winter of 895-896.^[55][56]

In February 896, Arnulf took Rome from Ageltrude, widow of Guy III and mother of Lambert. In February 896 -- 22 February according to the commonly accepted chronology, a date Mann gives with a question mark ("Feb. 22? 896") -- Formosus crowned Arnulf emperor at Saint Peter's. It was one of the most precarious imperial coronations of the whole ninth century: the empire was in pieces, the pope was aged, and the emperor was soon struck by illness. A few weeks later, Arnulf suffered paralysis and had to return to Germany, leaving Formosus exposed to Spoletan vengeance.^[57][58]

Anti-Photian policy and relations with Constantinople

Formosus continued the hard line of Nicholas I and Adrian II against Photius, the Patriarch of Constantinople deposed by Rome. Although Photius had been rehabilitated by John VIII at the council of Hagia Sophia in 879-880, Formosus refused to reinstate clerics ordained by Photius and maintained Roman suspicion toward the Byzantine patriarchate.^[59]

This line is partly explained by his personal experience. Through his Bulgarian mission (866-867) -- a field disputed between Rome and Constantinople -- Formosus had been closely involved in the first phase of the Photian crisis. He had no reason to reverse positions he had helped to construct.

England, Plegmund, and the pallium

In 890, the Anglo-Saxon Church elected Plegmund archbishop of Canterbury. Around 891, the new archbishop received the pallium from Formosus; the gesture confirmed the continuity of the bond established under Leo IV and Marinus I between the papacy and Rome's Schola Anglorum.^[60] The correspondence attributed to Formosus, in which he supposedly rebukes the English bishops for their silence in the face of a resurgence of Viking paganism -- "like dogs that cannot bark" -- raises authenticity problems noted by contemporary historians: the "letter to King Edward" is at any rate apocryphal, since Edward the Elder did not come to the throne until 899, three years after Formosus's death.^[61]

Defense against the Saracens

Formosus's pontificate unfolded under Saracen pressure on Latium. Muslim bands based on the Garigliano continued to ravage the Roman countryside despite the victories of John VIII. Formosus continued the policy of fortification and defense begun by his predecessors, in increasingly difficult material conditions.^[62]

Death, 4 April 896

Formosus died in Rome on 4 April 896. He was about eighty years old. The results of his pontificate were modest; his reputation was intact. Mann credits him with moral integrity never seriously contested, joined to political clumsiness in managing Italian factions. No contemporary source, at that moment, mentions the accusations that would be revived nine months later.^[63][64]

Mann gives a mixed assessment: a moral integrity never contested, but too little political skill to make prevail the good he desired (paraphrase).^[65]

Boniface VI and Stephen VI

At Formosus's death, the curia elected in April 896 Boniface VI, an elderly Roman priest. His pontificate lasted about fifteen days; the sources hesitate between gout and a forced ejection to make way for Stephen VI.^[66]

He was succeeded, around May 896, by Stephen VI (numbered Stephen VII if one counts the Stephen elected in 752 who died before consecration). The Catholic Encyclopedia explicitly notes that his election was imposed by Lambert and his mother Ageltrude: "compelled by the Emperor Lambert and his mother Ageltruda."^[67] The Spoletan party had retaken Rome; Arnulf's humiliation was complete; Formosus, who had dared crown another emperor, would pay in memory.

January 897: the Lateran basilica and the tribunal

The synod was held in January 897, at the Lateran basilica, in the presence of Stephen VI and several Roman bishops. The body of Formosus, dead for nine months, was exhumed. It was dressed in pontifical vestments and seated on the pontifical throne. A deacon was appointed to answer in its place -- a detail that says, better than any long commentary, the procedure's canonical and theatrical dimension.^[68][69]

The charges

Three grievances were retained:

1. Perjury: Formosus had allegedly violated the oath sworn at the Council of Troyes in 878 never to return to Rome or resume priestly ministry;
2. Ambition: he had allegedly usurped the Roman See in 891 while bound to another diocese;
3. Illicit episcopal translation: he had allegedly passed from the see of Porto to the Roman See in violation of the canons.

These three grievances form a coherent mechanism: they aimed to delegitimize not doctrine, but the pontifical person of Formosus, and to invalidate retroactively all his official acts.^[70][71]

Stephen VI's words to the corpse

The most famous scene of the whole synod is reported by Liutprand of Cremona, Lombard bishop of Cremona, who knew Byzantium as an envoy, in his Antapodosis, written around 958-962. Though composed sixty years after the events, the work preserves the direct formula addressed to the dead pope at the synod -- attributing it to Sergius (the future Sergius III) through a confusion of dating, whereas the proceedings were those of Stephen VI:

"When you were bishop of Porto, why did you usurp the universal Roman See in a spirit of ambition?" -- Liutprand of Cremona, Antapodosis I, 30 (text naming Sergius)^[72]

Liutprand also gives the sequel: the corpse's silence, the trembling voice of the deacon speaking for it, and the sentence pronounced. But Liutprand's account is partisan and late. For the same sequence, the Annales Alamannici, written in Germany, offer an independent and much more sober witness:

"Pope Stephen brought Formosus out of his sepulchre and placed him on the apostolic see; he appointed a deacon to answer in his place, stripped him of the apostolic garment, and dragged him through the basilica; blood flowed from his mouth, and he was thrown into the river." -- Annales Alamannici, s.a. 896^[73]

The sentence

The sentence was threefold:

1. Retroactive deposition: all pontifical acts of Formosus were declared null.
2. Annulment of ordinations: all clerics ordained by Formosus, from deacons to bishops, were declared unordained. Several hundred men were affected. The theological problem was immense: Stephen VI himself had been consecrated bishop of Anagni by Formosus, making his own papal legitimacy logically unsustainable.
3. Mutilation: two or three fingers of the right hand used for blessing were cut off according to the accounts: the Catholic Encyclopedia (Stephen VI article) speaks of "two fingers of its right hand," while Kirsch (Formosus article) counts three -- thumb, index, and middle finger, the fingers of blessing in the Latin tradition. It was the sign of the papal office that was being removed; the gesture targeted the function, not merely the person.^[74][75]

The body was then dressed in lay clothing and buried in the cemetery of foreigners. Shortly afterward, it was exhumed again, weighted down, and thrown into the Tiber.

Miracles and the fall of Stephen VI

The body was recovered a few days later: Auxilius (In defensionem sacrae ordinationis papae Formosi, ed. Dummler, p. 72) relates that a flood of the Tiber cast the remains back up despite the weights, then that a monk, warned in a dream, gathered it and hid it until the pontificate of Theodore^[76]. The chroniclers report wonders: Hermann of Reichenau (Chronicon, s.a. 896) writes that the Romans were terrified by the divine miracles obtained through the merits of Formosus, and Liutprand of Cremona (Antapodosis I, 31) relates that, at the reburial in Saint Peter's, the images of the saints above the altar greeted the remains^[77][78]. Roman opinion then turned against Stephen VI.^[79]

A few months later, in July or August 897, Stephen VI was imprisoned by a Roman faction, then strangled in his cell. The sequence is compressed and brutal: less than a year separates Formosus's death, the Cadaver Synod, and the death by strangulation of the man who conducted it.^[80]

Theodore II (December 897): the first annulment

After Stephen VI and then Romanus, Theodore II was elected in December 897. His reign lasted only about twenty days. In that very brief time, he convened a synod that formally annulled the Cadaver Synod, ordered Formosus's body recovered from the Tiber, and had it reburied at Saint Peter's in pontifical vestments. He also restored the clerics ordained by Formosus without subjecting them to a new ordination.^[81][82][83]

Theodore II's act is, from the ecclesial point of view, the Church's first official verdict on the Cadaver Synod: it was not a judgment, but an abuse. The rehabilitation was immediate, complete, and public.

John IX and the synods of Rome and Ravenna (898)

John IX confirmed and amplified this in 898. He convened one synod at Rome and another at Ravenna. The official acts of the Cadaver Synod were burned. At the Roman synod, seven bishops who had taken part in the Cadaver Synod were questioned about their participation -- almost all declared they had been compelled to attend; at Ravenna, capitula VIII-IX pronounced excommunications against certain clerics and against those who threw the body into the Tiber^[84]. Above all, capitulum I (first series) of the Ravenna acts annuls Stephen VI's synod and forbids any further trial of a dead man: a dead man must not be called to judgment, since he can neither answer nor make amends^[85].

"John IX confirmed these acts at two synods, the first of which was held at Rome and the other at Ravenna (898)." -- J. P. Kirsch, Pope Formosus^[86]

That prohibition held thereafter: in the historiography used by the present article, no other case of a pope formally tried after death is attested. The Cadaver Synod thus remains an isolated case: not the first of a series, but an abuse condemned as early as 897-898 -- apart from the Sergius III parenthesis (904-911), who reinstated the sentence without reopening a trial.

Auxilius of Naples and sacramental doctrine

The deepest theological question raised by the Cadaver Synod was the validity of the sacraments conferred by Formosus. If Formosus's ordinations were annulled, then the hundreds of bishops, priests, and deacons ordained by him -- including Stephen VI himself -- had never been ordained, and all sacramental acts they performed (Eucharist, confirmation, orders, marriages, absolutions) were likewise null. The cascading effect was terrifying for the Roman Church.

It is in this context that Auxilius of Naples, a priest of Frankish origin ordained in Rome by Formosus, wrote between 908 and 911 several apologetic treatises: In defensionem sacrae ordinationis papae Formosi, Libellus de ordinationibus a papa Formoso factis, Tractatus qui Infensor et Defensor dicitur, Libellus super causa et negatio Formosi papae, Libellus in defensionem Stephani episcopi.^[87]

Auxilius's thesis is clear and decisive:

"Orders conferred by sinful or excommunicated bishops are not in themselves invalid." -- Auxilius of Naples, sense of the Libellus de ordinationibus a papa Formoso factis^[88]

This reasoning takes up, and applies to an extreme papal case, the anti-Donatist doctrine of Saint Augustine: the sacrament acts by the power of Christ, not by the worthiness of the minister. Scholastic theology would later name this validity ex opere operato, a formula Auxilius does not use. Auxilius, together with Eugenius Vulgarius, is one of the defenders of this doctrine in the concrete crisis of 897-911. Without Auxilius, the Church might have been tempted to reordain masses of clerics; with him, the validity of ordinations, independent of the worthiness of the minister, found a decisive defense.^[89]

The relapse of Sergius III (904) and what followed

The epilogue is dark. Sergius III (904-911), openly anti-Formosan in tendency (favorable to the Cadaver Synod), reconfirmed the sentence of the Cadaver Synod and required the reordination of clerics ordained by Formosus. It was a scandalous step backward, plunging the curia into confusion.^[90][91]

This position, however, was never taken up again after Sergius III. Catholic theology subsequently retained the position of Theodore II, John IX, and Auxilius. The official papal list of the Holy See maintains Formosus as a legitimate pope, without interruption, and his successor Boniface VI is likewise retained. Sergius III's relapse is treated by historiography as an isolated fact, the anomaly of a pontiff already compromised by his political past.^[92][93]

The painting by Jean-Paul Laurens (1870)

The episode of the Cadaver Synod returned to Western consciousness in 1870 with Jean-Paul Laurens (1838-1921), Les Papes Formose et Étienne VI — Concile cadavérique de 897, an oil on canvas now kept at the Museum of Arts of Nantes.^[94]

Laurens depicts a haggard, disheveled Stephen VI standing before the corpse clad in pontifical vestments, in a dark Lateran: the article reads this as a political denunciation -- an interpretive reading, the precise intention of Laurens for this canvas being documented by none of the sources in the museum notice^[95].

For an honest Catholic reading, the painting remains a useful witness: through visual shock, it recalls what the textual sources already say -- that a pope carried out trial and mutilation on a corpse. To remember this is not to betray the faith; it is the opposite: to acknowledge that the Church passed through an abyss and condemned it herself the following year.

Contemporary historiography

The most complete biography of Formosus remains Horace K. Mann, The Lives of the Popes in the Early Middle Ages, vol. IV (1910), which devotes a dense section to Formosus, his pontificate, and the Cadaver Synod. Mann writes from a Catholic and apologetic tendency; his moral judgments are sometimes severe, but his documentation is broad and reliable.^[96]

The critical edition of reference remains Louis Duchesne, Le Liber Pontificalis (Paris, Thorin, 1886-1892), which edits the Lives of Formosus, Stephen VI, Theodore II, and John IX in their preserved form.^[97]

More recent studies -- Laurent Jegou (2015), and the article by William S. Monroe "A New Look at the Cadaver Synod" in the proceedings of the XV International Congress of Medieval Canon Law (Vatican City, 2022) -- have refined the historical reading by emphasizing the role of Spoletan factions, the juridical fragility of the procedure, and the canonical coherence of the rehabilitation by Theodore II and John IX.^[98][99]

Formosus in the official papal list

The Holy See lists Formosus in the official papal list as the 111th pope of the Catholic Church, with a pontificate from 6 October 891 to 4 April 896. No note raises doubt about the legitimacy of his pontificate. In official Catholic memory, the Cadaver Synod is treated as an abuse annulled within the following year, not as a valid ecclesial act.^[100]

The official list of the Holy See counts, in all later history, no second pope of the name Formosus.^[101] This absence may be explained by the weight of the memory that remained attached to that name after the Lateran scene, without amounting to a condemnation.

Human papacy and faithful Church

The Formosan episode is one of the arguments most often used against the papacy: a pope was seen judging a dead pope, mutilating his body, and throwing his remains into the Tiber. Yet the immediate sequel is, for an honest Catholic reading, almost more instructive than the scandal itself. In less than a year, the Church herself annulled the procedure. In less than two years, she forbade posthumous trials. In less than fifteen years, the theology of Auxilius laid the foundations of the doctrine of sacramental validity independently of the worthiness of the minister.

The episode therefore shows two simultaneous truths that apologetics must not separate:

1. The papacy is not protected from sin, political violence, or manipulation by factions. Stephen VI and Sergius III prove it.
2. The Church, as Church, remains faithful. Theodore II, John IX, Auxilius, and the whole later tradition collectively reject the procedure. Christ's promise -- "the gates of hell shall not prevail against it" (Mt 16:18) -- does not say that the men who hold the keys will always be worthy; it says that the Church, as mystical body, will not fall. Formosus and the Cadaver Synod are, paradoxically, a confirmation by contrast of that promise.

The doctrinal precedent

From the standpoint of sacramental theology, the episode contributed to a clarification: the distinction between the validity of the sacrament (which does not depend on the minister) and its liceity (which depends on canonical conditions) finds in the post-Formosan crisis a concrete application. This distinction would be taken up by medieval scholasticism, specified at the Council of Trent, and remains today the constant position of the Church.

Without the scandal of the Cadaver Synod, the doctrine might have waited longer for such clarification. The scandal forced thought.

Ecclesial silence and memory

Finally, the absence of any Formosus II in later history may be due to the weight that remained attached to that name, without signifying a condemnation. Pope Formosus appears in the list; he is neither glorified nor disowned.

• Pope John VIII (872-882) -- the pope who excommunicated Formosus at the Roman synod of 876 and then at the Council of Troyes in 878.
• Pope Marinus I (882-884) -- the pope who rehabilitated Formosus and brought him back to his see of Porto in 883.
• Pope Saint Nicholas I -- the pope who made Formosus a suburbicarian bishop and sent him to Bulgaria.
• Pope Adrian II -- the pope who sent Formosus on mission to Frankia in 869 and then to Trent in 872.
• Pope Stephen VI -- the direct successor, after Boniface VI, who convened the Cadaver Synod.
• Pope Theodore II -- the pope who rehabilitated Formosus in December 897.
• Pope John IX -- the pope who forbade posthumous trials at the synods of Rome and Ravenna in 898.
• Pope Sergius III -- the pope who tried in 904 to rehabilitate the Cadaver Synod.
• The Cadaver Synod -- the dedicated article on the episode of January 897.
• Council of Constantinople IV -- the council to which Formosus was indirectly connected through his career as an eastern legate.