Geroch's 1977 definition of hole freeness is too strong to serve as the appropriate condition.

The would-be time machine operator need not capitulate in the face of Krasnikov’s theorem. Recall that the main difficulty in specifying the conditions for the successful operation of Thornian time machines traces to the fact that the standard form of causal determinism does not apply to the production of CTCs. But causal determinism can fail for reasons that have nothing to do with CTCs or other acausal features of relativistic spacetimes, and it seems only fair to ensure that these modes of fa