 It follows that x numbers G just in case x is an abstract object that encodes exactly the properties equinumerous to G (where, nota bene, equinumerosity is judged only with respect to the ordinary objects). And it follows easily from Zalta’s first principles that “for every property G, there is a unique object which numbers G”. 