Formal parameters of a lambda expression can be substituted by other names, which are not used as free names in the body
(lambda (x y) (f x y))
(lambda (a b) (f a b))
(lambda (a f) (f a f))
