the real challenge of understanding lamba calculus is realizing its simplicity

it is a sacred idea by the fact that executing it does not really help understand the fact that it is equivalent to any and all computation