we must add the predicate derivatives contains intersect and equal