sS condenseToUpperCaseLetters(S s) {
  ret filterChars isUpperCase(s);
}