… the name commonly given to the ecclesiastical trial of Pope Formosus, who had been dead for about nine months … At the end of the trial, Formosus was pronounced guilty
Stephen had Formosus’s corpse exhumed and brought to the papal court for judgment
A pope is some kind of supernatural entity:
https://en.wikipedia.org/wiki/Cadaver_Synod