> I think Feeley's proposal would be improved by adding a very small fixed
> set of boolean connectives such as AND, OR, NOT.

Done.

>   I would be happier if
> IF-IMPLEMENTS were restricted to top level, and to definitions.

Why?  How does this help the implementor or user?

>   I have
> noted previously that the discussion of case-sensitivity in Feeley's
> draft is inadequate and would best be deleted.

OK I'll drop the case-sensitivity paragraph.

Marc