Hello WG1 members, 

I found a mistake, the duplicate definition of the make-promise procedure.

In 4.2.5. Delayed evaluation, p.19, it's written
> (make-promise obj)        lazy library procedure
but in 7.3. Derived expression types, p.71,
> (make-promise #f (lambda () <expression>))
and
> (define make-promise > (lambda (done? proc) > (list (cons done? proc))))

Which definition is true?