expand on section re: lambda calculus