(define x 5)
cond((< x 6) (define x 7))
(display x)