Hot: formal