(define (square a) (* a a))(square 5)