static <A> Set<A> allContainingSet() {
  ret new AllContainingSet;
}