distinguishability

not defined yet