However, Pope Sergius III (904–911), who as bishop had taken part in the Cadaver Synod as a co-judge, overturned the rulings of Theodore II and John IX, reaffirming Formosus's conviction, and had a laudatory epitaph inscribed on the tomb of Stephen VI.