I have a thought experiment for you guys: Sisyphus is rolling a boulder towards the Grand Hilbert Hotel. The hotel has an infinite number of rooms, but they are all full, so they may not be able to accomodate him or his boulder. If you choose to divert him by pulling the lever, his boulder will destroy the Ship of Theseus. But the ship has had all of its constituent parts replaced, so it may not actually be the same ship.
Is Sisyphus happy?