canonicallyEquivalent