Reiner Pope wrote > Maybe someone else knows what use axioms serve? Use your favorite search engine, Luke! http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2193.pdf -manfred