V.D193 — Face-Conflict Probability

P(face conflict) = 1/3: among 9 phase pairs (a1,a2) in {0,1,2}^2, exactly 3 have a2 < a1.