Запрос на булевы значения в лямбда-исчислении

Это представление лямбда-исчисления для оператора AND:

lambda(m).lambda(n).lambda (a).lambda (b). m(n a b) b

Может ли кто-нибудь помочь мне в понимании этого представления?