> The main argument for this would seem to me to be symmetry with cond. Yes. Actually I notice this because I do write => in "case" and was very surprising that the Scheme system doesn't support it. Sincerely, Chongkai Zhu