Figure 7.

An example of a SEM where faithfulness does not hold, because the variance of the error variables $E_2$ is zero. The random vectors $Y_1$ and $Y_4$ are conditionally independent given $Y_3,$ but, in the graph, the nodes $Y_1$ and $Y_4$ are not d-separated by $Y_3.$