uniequivalent
not defined yet