For example, it is not correct for (λx.y) to result in (λx.x), because the substituted x was supposed to be free but ended up being bound.
به عنوان مثال، برای (λx.y) درست نیست (به خاطر آوردن (λx.x)، زیرا x جایگزین به صورت آزاد بود اما به پایان رسید.