7 ; Normal Form (+ 6 1) ; Not Normal Form (lambda (x) (+ x 1)) ; Normal Form ((lambda (x) (+ x 1)) 6) ; Not Normal Form (pending beta reduction) (lambda (x) (+ ((lambda (y) (+ y 1)) 5) 1)) ; Not Normal Form - but Weak Head Normal Form (lambda (x) ; Not Normal Form (pending eta reduction) ((lambda (y) (- y)) x)) (lambda (y) (- y)) ; Normal Form