Hot: intro-and-rules