Avempace also describes four types of Intelligible forms. They are described as bodies that have an eternal circular motion, an acquired intellect, those with external senses, and those with internal senses. These ideas are consistent with Aristotle 's descriptions of the soul and its properties in his treatise De Anima, though there is speculation that there were no Arabic transcriptions available to Avempace.