(define num-digits
       (lambda (n)
         (num-digits-in-satisfying n ___?___)))