 x and y are A-indiscernible if and only if they are exactly alike with respect to every A-property; similarly for B-indiscernibility. (Here times are omitted, but of course objects may be A-indiscernible at one time, but not at another.) The possible worlds quantified over might include all metaphysically possible worlds, or only nomologically possible worlds (etc.), depending upon what degree of modal force is intended.