Hot: semantics