static bool allLowerCaseCharacters(S s) {
  for i over s:
    if (Character.getType(s.charAt(i)) != Character.LOWERCASE_LETTER) false;
  true;
}