Promoting axioms gor HoTT to a section