On 12 Apr 2025, at 04:31, Peter McGoron <xxxxxx@mcgoron.com> wrote:

> * The predicate procedure "returns #t if its argument is a procedure object that was created by a call to the constructor procedure, or #f otherwise". This sounds like this would return false if the procedure was first tagged by the current constructor, then tagged by another constructor besides the one the predicate is associated with, since each constructor returns a new procedure. Should this be something like
>
>  > When this procedure is invoked, it returns #t if its argument is a tagged procedure in the created tagging protocol, and #f otherwise.
>
>  The same comment applies to the wording of the accessor procedure.

Yes, I agree. I will fix this in the next draft.

Daphne