Michael Lofton (Reason & Theology) argues that the Formula of Pope Horsmidas is evidence of the Catholic conception of the papacy.