P0 - conditional indep example on the text book
P1a