 Other responses are available. One might deny ST2 on the grounds that there is no such property as the property of being indeterminately identical to Theseus II. One might deny ST3, affirming that the mended ship is indeterminately identical to the mended ship. One might deny ST4 by denying that the distinctness of Theseus II and the mended ship can be inferred from the fact that they do not share the indicated property. Or one might embrace option (iv), on the (stage-theoretic) grounds that the ship that existed at the time of the christening is not identical to any ship that exists at any earlier or later time.  [33]