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 (
equal) and equivalence in the presence of mutation (
eq?returns true iff all of
objectsare effectively the same object, even in the presence of mutation.