global hyperbolicity