The counterexample relies on solutions that are not globally hyperbolic, but Penrose and Hawking's s...