sclass GlobalThoughtSpace extends AbstractThoughtSpace {
  // existence of triple has already been checked
  public GlobalID postTriple(T3<S> t) {
    ret asGlobalID(post(t));
  }
  
  L<TripleRef<S>> get(S s) {
    ret tripleIndex().getTripleRefs(s);
  }
  
  L<TripleWeb> getTriples(S s) {
    ret tripleIndex().getTriples(s);
  }
  
  int size() { ret tripleIndex().numWebs(); }
}