retard wrote: > But even in the abandoned c++0x proposal, checking axioms was optional > IIRC. As far as I know, nobody had plans to implement axioms or even knew how to.