ununiqueness
not defined yet