[21] (Procopio, Historia arcana, 7).