obeys the global Markov property for G (0)