Reading through eqv? for records, it seems like if all the fields of a record are immutable, than equivalence should be defined by equivalence of the field contents. --Mark