2.0 implied predicates