hmmm. We are definitely dealing with a different notion of "random" than I became used to way back when. Back then, one could make a "random" choice from a bag of marbles with quite unequal distributions of color among them. One could randomly flip a biased coin. There were various probability distributions, and a random selection from one simply meant that the probabilities of the choice were given by the distribution from which the selection was made.