Globally hyperbolic