A satisfactory definition of time travel would, at least, need to classify the cases in the right way. There might be some surprises—perhaps, on the best definition of ‘time travel’, Cryogenics turns out to be time travel after all—but it should certainly be the case, for example, that Gödel counts as time travel and that Sleep and Waiting do not.[7]