> If I use the antimark prescription to follow what happens, and compare
> identifiers using both marks and antimarks, I indeed get the correct result #f.
> However, the text of the SRFI does not describe antimarks as essential to the
> semantics, but rather as an implementation strategy.

Good point.  The antimarks are essential given how bound-identifier=? is
supposed to operate.  I will rewrite the description so that it doesn't
imply that the antimarks are an optional part of the operational
description.

Kent