adding axiom frequency script