Fix the lambda calculus.