counterequivalent

not defined yet