正面考虑替代品是无望的。
构造的细节.上面所给"A"("X")的构造需要一些关于“模掉有理等价”的说明。相关的技术细节是，就像在计算射影空间周环时一样，有时两个并非簇对应的圈有理等价，尽管有理等价似乎仅仅与集合结构有关。解法是由概形理论而来，即一个由理想层定义的子簇可以被认为有重数"d"如果我们代理想formula_29以formula_30。这样有理等价的古典陈述便不够了，且我们必须密切关注平坦族的细节。最后，等价类的形式和，例如"aY" + "bZ"，应该被认为是“有度的簇”"