 In any case, there \(is\) a close connection between the two issues (the ship of Theseus problem and the question of the necessity of origin). This can be seen (though it may already be clear) by considering a modified version of the ship of Theseus problem. Suppose that when \(O\) is built, another ship \(O'\), exactly like \(O\), is also built. Suppose that \(O'\) never sets sail, but instead is used as a kind of graphic repair manual and parts repository for \(O\). Over time, planks are removed from \(O'\) and used to replace corresponding planks of \(O\). The result is a ship \(S\) made wholly of planks from \(O'\) and standing (in the end), we may suppose, in exactly the place \(O'\) has always stood. Now do \(O\) and \(O'\) have equal claim to be \(S\)? And can we then declare that neither is \(S\)? Not according to the Kripkean line of thought. It looks for all the world as though the process of “remodeling” \(O\) is really just an elaborate means of dismantling and reassembling \(O'\). And if \(O'\) and \(S\) are the same ship, then since \(O\) and \(O'\) are distinct, \(O\) and \(S\) cannot be the same ship.