 $(G_0,\mathbb{P})$ satisfies the identifiable [SMR]{} assumption.  Now we prove that $(G_0, \mathbb{P})$ satisfies the [MDR]{} assumption. Suppose that $(G_0, \mathbb{P})$ fails to satisfy the [MDR]{} assumption