Procopius of Caesarea: tyranny, history, and philosophy at the end of antiquity · Study