ga-axiom added