Kernel has two general-purpose equivalence predicates (whereas R5RS
Scheme has three). The two Kernel predicates correspond to the
abstract notions of equivalence up to mutation (
equivalence in the presence of mutation (
eq?returns true iff all of
objectsare effectively the same object, even in the presence of mutation.