updating axioms, generation