(define square (lambda (x) (* x x))) (+ (square 5) 1)