Adding validation verification on predicate