sS simplifyUsingParse3(S s) {
  ret joinWithSpace(parse3C(s));
}