Text this: Procopii Gazaei opera quae reperiri potuerunt omnia.