То обстоятельство, что он вот уже три года как был мертв, не являлось препятствием. Прецедент с судилищем над телом папы римского уже случался по крайней мере один раз, в 897 году, когда покойный папа Формоз был эксгумирован и привлечен к ответственности за лжесвидетельство, а его имя было вычеркнуто из списков пап.