Oops, I got carried away in my response to Mr. Rees. While the model for Scheme with topes is somewhat simpler than the current one, it is not a substitution model - the procedure "tope" is not functional, of course. Biep Durieux