adding different from axiom