 Variable names are not needed if using a universal lambda function, such as Iota and Jot, which can create any function behavior by calling it on itself in various combinations.Lambda calculus is Turing complete, that is, it is a universal model of computation that can be used to simulate any Turing machine.Its namesake, the Greek letter lambda (λ), is used in lambda expressions and lambda terms to denote binding a variable in a function.