Added non-Eq predicates