Rule

and are conditionally independent given if: