fixed a bug in addAxiom