(define (not x) (if x #false #true))