adding code, updating spanish axioms