moved mapping axioms to new file