counterdistinction
not defined yet