As far as I know, (define + (lambda (x y) (* x y))) will work just fine under Chez Scheme. I agree that it would be hard to write a compiler for this type of code. I don't think it will bomb but you might get some weird results. Hope this is of some help. Terrence Mitchem, Indiana University.