; This is the lambda expression (λx.λy.x)(λx.xxx)z:
(((L x (L y x)) (L x ((x x) x))) z)