sS condenseToUpperCaseLetters(S s) {
  new StringBuilder buf;
  int n = l(s);
  char c;
  for i to n:
    if (isLetter(c = s.charAt(i)))
      buf.append(upper(c));
  ret str(buf);
}