Name predicate method more precisely