sclass AllContainingSet<A> extends AbstractSet<A> {
  public int size() { ret 3; } // whatever
  public Iterator<A> iterator() { fail(); }
  public bool contains(O o) { true; }
  public bool add(A a) { false; }
  
  toString { ret "AllContainingSet"; }
}