Adding equal? predicate