 than $G_0$ while $G_0$ entails more d-separation rules than $G_0$.  Now we prove that $(G_0, \mathbb{P})$ satisfies the [MDR]{} assumption and $(G_0, \mathbb{P})$ satisfies the identifiable [SMR]{} assumption. 