Hot: assumptions