smob equality predicates