updating Spanish axioms