custom predicates can be added to safe