  Before Kripke (1972/80), the first challenge to such an argument would have concerned the move from (3) to (4). When philosophers generally believed in contingent identity, that move seemed to them invalid. But nowadays that inference is generally accepted and the issue concerns the relation between imaginability and possibility. No-one would nowadays identify the two (except, perhaps, for certain quasi-realists and anti-realists), but the view that imaginability is a solid test for possibility has been strongly defended. W. D. Hart ((1994), 266), for example, argues that no clear example has been produced such that “one can imagine that p (and tell less imaginative folk a story that enables them to imagine that p) plus a good argument that it is impossible that p. No such counterexamples have been forthcoming…” This claim is at least contentious. There seem to be good arguments that time-travel is incoherent, but every episode of Star-Trek or Doctor Who shows how one can imagine what it might be like were it possible.