add ok? predicate