added Equivalence predicate