 Not all criteria of identity can be two-level (on pain of infinite regress), and it is tempting to think that the distinction between objects for which a two-level criterion is possible and those for which only a one-level criterion is possible coincides with that between abstract and concrete objects (and so, that a two-level criterion for sets must be possible).