updated source axioms