 This is analogous to the programming notion of variable shadowing.Second, α-conversion is not possible if it would result in a variable getting captured by a different abstraction.For example, if we replace "x" with "y" in λ"x".λ"y".