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