Working with comparative similarity among pairs of a concrete thing and the world it inhabits (and ignoring provision for vacuity and for accessibility restrictions), we could say that an inhabitant of a world satisfies A(x) C(x) at iff