Predicates for Prelude Strings