Reviews: Learning Bayesian networks with ancestral constraints

Given ancestral constraints, some pruning of the search tree is possible. Lemma 3 (supplementary material) is the key result here. I believe it to be true, but I don't understand the proof. The phrase "By the EC tree edge generation rules, G_k also contains edge Z - W" needs more explanation. In addition there are implied constraints ( "implied constraints" is the standard terminology, here they are called "projected constraints").