∅ = NB
ML = ∅
ML = ∅
∅ = NL
∅ = ML
NB = ∅
∅ = MB
MB = ∅
∅ = NL
NL = ∅
NL = ∅
∅ = ML
∅ = ML
SUMB = MB + NB
SUML = ML + NL
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.