static TripleBool hasGlobalOption(S option) {
  S question = print(option + "?");
  ret askTripleBool(question);
}