\lambda \lambda x \lambda.x \lambdax \lambda{x}