Cassiodorus Cassiodorus, Historia Ecclesiastica, 4, 18, 6 Hoc tempore imperator maiorem ecclesiam fabricabat quae nunc Sophia vocitatur, et est copulata ecclesiae quae dicitur Irene, quam pater imperatoris, cum esset prius modica, ad pulchritudinem magnitudinemque perduxerat; quae modo velut sub uno circuitu contineri noscuntur.