The requirement that the question sets be disjoint ensures that the comparisons are made on independent samples of the space of questions.
we assume a universe of all possible closed-class questions, and an (unknown) probability distribution of the scores for each of the two runs.