If you want to see how the decision came about, please check the rrrs-authors mail archives (altdorf.ai.mit.edu: archive/scheme-mail/rrrs.*). Jonathan