// specifies that the configuration is maximal 
// (configurations do not include cut-offs)
forall e in EVENTS \ CUTOFFS { ~@e }