 The strong version of this account—which purports to identify a necessary condition for abstractness—is seriously at odds with standard usage. Pure sets are usually considered paradigmatic abstract objects. But it is not clear that they satisfy the proposed criterion. According to a version of naïve set theory, the functional expression ‘set of’ is indeed characterized by a putative abstraction principle.