Hot: axioms