counterdistinct
not defined yet