static HashMap<S, ThoughtSpace> getThoughtSpace_map = new HashMap;

static ThoughtSpace getThoughtSpace(S name) {
  ret assertNotNull(getThoughtSpace_map.get(name));
}