> I do not have an objection against the Chex|MzScheme interpretation. I just > think it would be good if the document could specify the behaviour either way. I agree. It is our intent to nail down all of the scoping rules once we finalize the library semantics.