   It is swiftly proved that the ingredients of \(A\) and the elements of \(A\) are the same. The definition illustrates how Leśniewski formulated the idea of quantification in his early semi-prose work: instead of “for some \(x\)” he says “for some meaning of the expression ‘\(x\)’ ”. When showing all ingredients of an object are its elements, Leśniewski instantiates the bound variable by saying “Using the expression ‘\(x\)’ with the meaning of the expression ‘ingredient of the object \(A\)’ …”. We will return to this below when discussing Leśniewski’s understanding of the quantifiers.