Конфликт имен в лямбда-исчислении

Подскажите пжста, как разрешается конфликт, например, в таком выражении: Lx.Ly.Lx. x y? Какое значение будет у икса, который в аппликации? Насколько я помню, общее правило: подстановка, затем редукция, и x должен подставиться во все вхождения, только по-моему, свободные, а в нашей аппликации, x связан. Значит, как я понимаю, крайний левый x должен проигнорироваться?