Hot: formally