Restricting the domain of GR to globally hyperbolic spacetimes, as advocated by Geroch's development...