string->str
misc predicates