 A-properties strongly supervene on B-properties if and only if for any possible worlds w1 and w2 and any individuals x in w1 and y in w2, if x in w1 is B-indiscernible from y in w2, then x in w1 is A-indiscernible from y in w2. (Kim 1987.)