Hot: axiomatic