Hot: first-intension