 For instance, formula_55 and formula_66 are alpha-equivalent lambda terms, and they both represent the same function (the identity function).The terms formula_3 and formula_21 are not alpha-equivalent, because they are not bound in an abstraction.In many presentations, it is usual to identify alpha-equivalent lambda terms.