static boolean onlyLettersAndAllUpperCase(S s) {
  if (empty(s)) false;
  for i over s:
    if (!isUpperCase(s.charAt(i))) false;
  true;
}