theodosius, archbishop of alexandria, severus, patriarch of antioch, and eustathius, bishop of trake