no use if isREquivalent