Gabor Grothendieck <ggrothendieck at gmail.com> wrote:
... and maybe not having a guarantee would simplify implementation?
+1 for: "The results of such statements are not defined.", or something to that effect. (Erasmus had something to say here. :)