superequivalent
not defined yet