Why are cons cells immutable by default but structures mutable by default? And did you consider making definitions immutable by default, that is, having both (define <var> <exp>) and (mdefine <var> <exp>) forms? --PR