Added inequality and equality predicates.