static void printThoughtSpace(AbstractThoughtSpace ts) {
  if (ts == null) ret;
  if (ts instanceof GlobalThoughtSpace) ret with print("Global thought space");
  if (!ts instanceof ActualThoughtSpace) ret with print(className(ts));
  
  ActualThoughtSpace ats = cast ts;
  print("Thought space with " + nWeb(ts.size()) + ":");
  for (TripleWeb w : ats.index.allTriples())
    print("  " + w);
  print();
}

static void printThoughtSpace() {
  printThoughtSpace(currentThoughtSpace());
}