abstract sclass NotifyingSet<A> extends NotifyingCollection<A> implements Set<A> {
  Set<A> set;
  
  *() {} // for persistence
  *(Set<A> set) {
    super(set);
    this.set = set;
  }
}