(define (question exp)
   (or (haltp (eval exp))
       (not (haltp (eval exp)))))