The Ship of Theseus

As a Schemer, I think there is an easy explanation to the Ship of Theseus.

Example 1.

> (define Ship-of-Theseus (cons 'a 'b))
> Ship-of-Theseus
(a . b)
> (set-car! Ship-of-Theseus 'x)
> Ship-of-Theseus
(x . b)
> (set-cdr! Ship-of-Theseus 'y)
> Ship-of-Theseus
(x . y)

The Ship-of-Theseus before and after the mutations are eq? but not equal?.

Example 2.

> (define Ship-of-Theseus (cons 'a 'b))
> Ship-of-Theseus
(a . b)
> (set! Ship-of-Theseus (cons 'a 'b))
> Ship-of-Theseus
(a . b)

The Ship-of-Theseus before and after the assignment are equal? but not eq?.