differentness

not defined yet