Hot: definations