(define (plus x y) (+ x y)) (plus 2 3)