“…A globally hyperbolic spacetime is strongly causal, so the Alexandrov topology coincides with the manifold topology by Proposition 4.1.Remark 4.7. The Legendrian isotopy class of skies or, equivalently, the Legendrian isotopy class of the fibre of ST * M for a Cauchy surface M ⊂ X is orderable if the universal cover M is non-compact by[9, Remark 8.2] or the integral cohomology ring of M is not isomorphic to that of a compact rank one symmetric space by[16, Theorem 1.2] combined with[10, Proposition 4.7]. In the remaining cases, one can use the fact that this Legendrian isotopy class is always universally orderable by [10, Theorem 1.1] and obtain a substitute for Corollary 4.6 by considering the map x → S x from the (finite) universal cover X of the spacetime X to the universal cover of the Legendrian isotopy class of skies in N X , cf.…”