ununiqueness

not defined yet