A craps player who has experienced a long run of bad luck at the craps table wants to test whether the casino dice are “loaded,” i.e., whether the proportion of “sevens” occurring in many tosses of the two dice is different from (if the dice are fair, the probability of tossing a “seven” is 1/6).