static void thoughtSpaceDone() {
  AbstractThoughtSpace ts = currentThoughtSpace();
  if (ts instanceof ActualThoughtSpace)
    thoughtSpace(ts.parent);
  else
    print("thoughtSpaceDone without thought space");
}