implementing the superselector predicate