"T"[λ"x"."x"] ⇒ I