On 8/17/07, David Van Horn <dvanhorn at cs.brandeis.edu> wrote: > (eq? x y) ==> #t implies (equal? x y) ==> #t > > Which would be the case with SRFI 63's equal?. Sorry, I don't think this is correct. David