I believe that Jinx's analysis of his examples is correct, using the transformation given in R4RS in the last paragraph before section 7.2.1. The only clarification I would make (and I think Jinx would agree, based on his wording) is that references to variables with unspecified values *is* an error, but may not *raise* an error in some implementations. Pavel