Hot: formalisation