In Q there may exist q-sets, called "pure" q-sets, whose elements are all m-atoms, and the axiomatics of Q provides the grounds for saying that nothing in Q distinguishes the elements of a pure q-set from one another, for certain pure q-sets. Within the theory, the idea that there is more than one entity in x is expressed by an axiom stating that the quasi-cardinal of the power quasi-set of x has quasi-cardinal 2, where qc(x) is the quasi-cardinal of x (which is a cardinal obtained in the 'copy' of ZFU just mentioned).