adding axiom creation algo