 A strongly supervenessim on B if and only if for any worlds w1 and w2, and for any x in w1 and y in w2, if x in w1 is not largely different from y in w2 with respect to B-properties, then x in w1 is not largely different from y in w2 with respect to A-properties.