Predicate naming w/o is_