Step Functions Lambda Calculus For Dummies