logical predicate