a box admitting such a decomposition is called a bell local or a classical box. fixing the number of possible values which formula_39 can each take, one can represent each box formula_15 as a finite vector with entries formula_41. in that representation, the set of all classical boxes forms a convex polytope.