Question: What does the lambda calculus have to say about return values?