I suspect that this is a behavior specified by R6RS, but why isn't +inf.0 EQ? to itself? It is currently EQV? and EQUAL?, so I'm a little confused. david -- GPG Public key at http://cyber-rush.org/drr/gpg-public-key.txt