If ship-names are non-rigid, S' in w need not be identical to S in the actual world, breaking the tr...