changes to source axioms