[dumbo-octopus]

We can’t really confirm it for anything. It’s all up to the axioms you choose. Equally reasonable ones would have them all distinct, uniform, and everything in between.