 Among the influential Arabic theories are: the logical distinction between first and second intentions; the intension and remission of elementary forms; the soul’s faculty of estimation and its object, the intentions; the conjunction between human intellect and separate active intellect; the unicity of the material intellect (Averroism); naturalistic theories of miracles and prophecy; the eternity of the world and the concept of eternal creation; the active intellect as giver of forms; the first cause as necessary being in itself; the emanation of intelligences from the first cause; the distinction between essence and existence; the theory of primary concepts; the concept of human happiness as resulting from perfect conjunction of the human intellect with the active intellect.