This correctly excludes Waiting—where the length of the ‘journey’ precisely matches the separation between ‘arrival’ and ‘departure’—and Crystal, where there is no journey at all—and it includes Doctor. It has trouble with Gödel, however—because when the overall structure of spacetime is as twisted as it is in the sort of case Gödel imagined, the notion of external time (“time itself”) loses its grip.