(define (square 'x) (* 'x 'x)) (square 17)