If X Y And Y Z Then A A B B X Z C X⊥a D A⊥z