Kripke’s reasoning can be applied to the present case (Kripke and others might dispute this claim; see below). Let \(w\) be a possible world just like the actual world in that \(O\), the original ship, is manufactured exactly as it is in the actual world. In \(w\), however, another ship, \(S'\), exactly similar to \(O\), is simultaneously built out of precisely the same parts that \(S\), the remodeled ship, is built out of in the actual world. Since \(S'\) and \(O\) are clearly different ships i