 Together these are equivalent to the proposition that every F is the F “R-related” to it. By its form this states a merely necessary condition for being a thing of sort “F”. The one-level criterion of identity thus again merely specifies a necessary condition of being an object of sort “F”.