(define integers-from (lambda (x) (amb x (integers-from (+ x 1)))))