Por ejemplo, el conjunto "Z=R" es admisible para predecir el efecto de "S=T" sobre "G", porque "R" "d"-separa el (único) camino de puerta trasera "S?R?G".