 Eliminativists may go on to argue from ST6 to the conclusion that there are no ships, as follows. If indeed it isn’t indeterminate whether Theseus II is the mended ship, then there would seem to be five options: