Since {1, 2, . . . , 6} is the set of all possible outcomes of a
throw with a regular die, the set of all possible outcomes of a
throw with two dice is Throws := {1, 2, . . . , 6} × {1, 2, . . . ,
6}. We define eleven subsets P2, P3, . . . , P12 of Throws as
follows: Pk := {<m, n>: m + n = k} for k ∈ {2,...