Normal Order Reduction Lambda Calculus For Dummies