revisiting lambda calculus 9959774