Rule

and are conditionally independent given iff: