static void withThoughtSpace(ThoughtSpace ts, Runnable r) {
  thoughtSpace(ts);
  try {
    callF(r);
  } finally {
    thoughtSpace(null);
  }
}