En el mes de enero del año 897 tuvo lugar en San Juan de Letrán de Roma un macabro ritual que ha pasado a la historia con el nombre de Sínodo Horrendo ó Sínodo del Cadáver. En él se enjuició a Formosus, un papa avanzado en edad que, después de un pontificado de cinco años, había muerto el cuatro de abril del 896. El juicio fue ordenado por el pontífice reinante, Esteban VII.