static TripleWebWithSource extends TripleWeb {
  S source;
  
  S source() { ret source; }
}