sbool isSingleCharactersPlusSpaces(S s) {
  if (even(l(s))) false;
  for i over s:
    if (!(even(i) ? isLetter(s) : isSpace(s))) false;
  true;
}