A Short Lambda Calculus Explanation