Bayesian networks and causality

This is Pearl's d-separation, right?

EDIT: Great write-up btw. Thanks for putting it together!