History as Text: Coping with Procopius