 The challenge is to produce a non-semantic version of the abstractionist criterion that specifies directly, in metaphysical terms, what the objects whose canonical names are governed by abstraction principles all have in common.