Tested with predicates and pass