Where the name “lambda” comes from (in lambda calculus)