Hot: definitions