updating script, axioms