Example 6.5. We define a system comprising of four GAS spaces using cumulative constraints and eight particles and tight inequalities Ñ min 4 = Ñ max 4 = 8 in the last space in Table 5. We assume that local constraints N min , N max exist such that S l (N, n GAS , N min , N max ) = S c (N, n GAS , Ñ min , Ñ max ) and lead this to a contradiction.