... As mentioned earlier, the set of all nonsignaling resource R(a 1 , ..., a n |x 1 , ..., x n ) for a fixed number of parties, inputs, and outputs, comprises a polytope, as it is the set of behaviors satisfying linear equalities (2) along with the linear equalities and inequalities that define valid probability distributions. As such, this polytope will have a certain number N of extreme points R ext i (a 1 , ..., a n |x 1 , ..., x n ), i ∈ {1, ..., N}, for which a general R(a 1 , ..., a n |x 1 , ..., x n ) can be written as a convex combination: R(a 1 , ..., a n |x 1 , ..., x n ) = i p(i)R ext i (a 1 , ..., a n |x 1 , ..., x n ), (19) where p(i) is a probability distribution over the values of i. Employing such an expression for R 1 ( a 1 | x 1 ), we can write P( a 1 , a 2 , ..., a m |x 1 , ..., 20) and the term in brackets in (20) is equal to P i ( a 1 , a 2 , ..., a m |x 1 , ..., x n ), which we define to be the distribution induced when each party uses their original decision with the single change of replacing consultations of R 1 with consultations of R ext i . Hence P is equal to the convex mixture i p(i)P i . ...