As I remember, at one point we had achieved consensus on allowing definitions of the form (define foo) to mean that foo is to become bound, but not assigned any particular value; references to foo are errors until foo is assigned. Are there any objections to this? If not, I would encourage the editor to put it in the next report. Jonathan