(Equality Predicates): Clarify meaning of equal.