like the set of classical boxes, when represented in probability space, the set of no-signalling boxes forms a polytope. popescu and rohrlich identified a box formula_44 that, while complying with the no-signalling conditions, violates tsirelson’s bound, and is thus unrealizable in quantum physics. dubbed the pr-box, it can be written as: