I've just published draft #4 of SRFI 145.  It was submitted
by Marc Nieper-Wißkirchen, author of the SRFI.

<http://srfi.schemers.org/srfi-145/>

Here's the diff:

  <https://github.com/scheme-requests-for-implementation/srfi-145/pull/3>

Here are Marc's comments on this draft:

  - (assume obj) now returns obj when obj is not false
    (following a suggestion of Takashi Kato)

  - assume can take arbitrary additional arguments to
    improve documentation and error reporting

  Commit Summary

  - improve assumptions with messages; return non-false values

  File Changes

  M srfi-145.html (27)

Regards,

SRFI Editor