"x" + 2  (o, equivalentemente,  λ "y".