Report question

Question: Call by value in the lambda calculus