Updated internal predicates