The line: (define equiv:bound-on-recursion 1000000) in the Reference Implementation is disturbing. Does this mean that the internal definition of EQUIV? will be exercised only on cases specifically contrived for testing? Also, I suggest that having internal identifiers alias top level identifiers does not help readability.