Theorem 7.5

Theorem 7.5 (Causal-garbage cube). Every garbage fibre is the Cartesian product of the finite value sets of its unsupported label and descriptor coordinates. Simultaneous $G$ factors into single-coordinate changes. Fill a triangle for three values of one coordinate and a square for changes of two distinct coordinates. The resulting path two-complex is simply connected.