areEquivalent
CatsEquivalence