predicates for comparables.