distinctness

not defined yet