Erlang string predicates.