Hot: formalized