On the second thought, I am still not seeing the statistical equivalence of the two constructions. The first construction will always produce two disjoint sets

and

of sizes

and

, respectively. The second construction may easily produce two non-disjoint sets. Is this a problem?

**Admin Edit:** Replaced $ with [math] tag in math expressions.