 Everyone agrees that reduction requires supervenience. This is particularly obvious for those who think that reduction requires property identity, because supervenience is reflexive. But on any reasonable view of reduction, if some set of A-properties reduces to a set of B-properties, there cannot be an A-difference without a B-difference. This is true both of ontological reductions and what might be called “conceptual reductions”—i.e., conceptual analyses.