Procopius wrote in 545 that "the Sclaveni and the Antae actually had a single name in the remote past; for they were both called Spori in olden times. What does Procopius describe in his writings of the Sclaveni and Antae?