added one axiom