A backdoor path from to is a path whose first edge has an arrowhead at . The set satisfies the backdoor criterion when it contains no descendant of and blocks every backdoor path from to . Under this criterion, consistency, and positivity,
so adjustment for identifies the intervention mean.
Write
Since has no parents, its total effect has no backdoor path, and
For , intercepts every directed path to . Conditional on , there is no unblocked backdoor path from to , and blocks every backdoor path from to . The conditional front-door adjustment therefore gives
and
Part ii shows that the inner sum, after also averaging , does not actually depend on .
For , is a sufficient backdoor adjustment set. Hence
These three formulas identify the requested average treatment effects from the observed joint distribution.