<reduction> In beta reduction, when a term containing a free occurrence of a variable v is substituted into another term where v is bound the free v becomes spuriously bound or "captured".

E.g.

(\ x . \ y . x y) y

-->

\ y . y y (WRONG)

This problem arises because two distinct variables have the same name.

The most common solution is to rename the bound variable using alpha conversion: