fixed two more bugs in addAxiom