 (iii) The comprehension principle asserts that for each expressible condition on properties, there is an abstract object that encodes exactly the properties that fulfill (satisfy) that condition. Formally: \(\exists x(A!x \:\&amp;\: \forall F(xF \equiv \phi))\), where \(\phi\) has no free \(x\)s. Each instance of this schema asserts the existence of an abstract object of a certain sort. So, for example, where ‘\(s\)’ denotes Socrates, the instance \(\exists x(A!x \:\&amp;\: \forall F(xF \equiv Fs))\) asserts that there is an abstract object that encodes exactly the properties that Socrates exemplifies. Zalta uses this object to analyze the complete individual concept of Socrates. But any condition \(\phi\) on conditions on properties with no free occurrences of \(x\) can be used to form an instance of comprehension. In fact, one can prove that the object asserted to exist is unique, since there can’t be two distinct abstract objects that encode exactly the properties satisfying \(\phi\).