did some repairs on add_axiom