Lec4.1: The verb IR

;