As I understand it, the proof in the appendix only assumes we’re working with Bayes nets (so just factorizations of probability distributions). That is, no assumption is made that the graphs are causal in nature (they’re not necessarily assumed to be the causal diagrams of SCMs) although of course the arguments still port over if we make that stronger assumption.
As I understand it, the proof in the appendix only assumes we’re working with Bayes nets (so just factorizations of probability distributions). That is, no assumption is made that the graphs are causal in nature (they’re not necessarily assumed to be the causal diagrams of SCMs) although of course the arguments still port over if we make that stronger assumption.
Is that correct?
Yup.