Rewording (Generation of IR, intro)