corrections to lambda abstraction