Reduction requires not just referential identity but also conceptual explicability in the vocabulary...