When I first discovered this, I found all this bafflegab about alligators and eggs only served to confuse the issue. If you understand that a lambda expression is a rule for generating expressions which, when applied to a value, substitutes the value for the lambda variable, that is sufficient to have an intuitive grasp of what LC is all about.