updating axioms, adding scripts