Separating implicit restriction classes. Using a negation union bound to prevent using set operators on counters.