refactored variables in axioms