separating predicates.