ok: mu = -3/8
ok: supp pi_+ misses exactly +++ and -+-
ok: pi_+ > 0 elsewhere
ok: 4h'(y) = -1 - y1 - y1y2 - y1y3
ok: 4h' = -1 - y1(1+y2+y3) at the vertices
ok: classes {1,2}, {3}
ok: law of (w1,w2): (1,3,3,3)/10 and (7,5,5,5)/22
ok: law of (w1,-w3): (3,1,1,5)/10 and (5,7,7,3)/22
ok: law of (w2,-w3) = law of (w1,w2)
ok: the pair laws (w1,w2), (w2,w3) of D12 (Prop. 9.11) are L2 and Lv
ok: Gamma = 0 for the dictator pair (k = 1, nu = +)
ok: Gamma = 0 for (F_p, F_s) = (AND2, OR2), k = 2, nu = (+,+)
ok: OR2 is the best response to AND2 for E h', with value 0
ok: (R5) is an equality for P = 0 (0 = 0)
ok: (R5) is an equality for dictator (1/5 = 1/5)
ok: (R5) is an equality for AND2 (1/50 = 1/50)
ok: (R5) is an equality for 1{z = (1,-1)} (3/50 = 3/50)
ok: for P = 1{z = (1,-1)}: max over F_s of E h'(Y) is 0, but Gamma = -1/100 at the maximiser
ok: {0,1}-valued P depending on all k <= 3 labels, all nu: (R5) holds, with equality exactly for the dictator (nu = +), AND2 and 1{z = (1,-1)}, 1{z = (-1,1)} (nu = (+,+))
ok: 182 exact random tests (k <= 3, all nu): Gamma <= E h'(Y) = formula (3); best response value; 4 max_Fs E h' = 2(LHS - RHS of (R5)); Psi(P,P) = -(D12 expression); Psi(P, B~) = RHS - LHS
