lambda_mountain 1.12.9

f := λx y . x;