more opening to axioms